implement workbench: startup editor preference#12813

Merged

vince-fugnitto merged 5 commits intoeclipse-theia:masterfrom vladarama:startup-editor-preference

Aug 31, 2023

+100-28

Commits on Aug 22, 2023

implement workbench: startup editor preference
Vlad Arama
committed
address review comments
Vlad Arama
committed
remove alwaysShowWelcomePage preference
Vlad Arama
committed
move preferences from core to getting-started
Vlad Arama
committed
address comments
Vlad Arama
committed