Code

Added Preferences UI widget#7105

Code

Merged

vince-fugnitto merged 1 commit intoeclipse-theia:mastereclipse-theia/theia:masterfrom NicholasStenbeck:preferences-uiNicholasStenbeck/theia:preferences-uiCopy head branch name to clipboardMay 6, 2020

+2,803-1,058

Commits

Commits on May 1, 2020

• Added Preferences UI widget

  Show description for fa9e42c
  

  Nicholas Stenbeck

  authored and

  kenneth-marut-work

  committed
  fa9e42c