Skip to content

set default value of colorTheme and iconTheme preference#7174

Closed
tom-shan wants to merge 2 commits intoeclipse-theia:masterfrom tom-shan:preference-colorTheme
+34-27

Commits

Commits on Feb 25, 2020

Commits on Feb 27, 2020