getting-started: add welcome page checkbox preference#12750

Merged

vince-fugnitto merged 9 commits intoeclipse-theia:masterfrom vladarama:startup-page

Aug 4, 2023

+163-31

Commits on Jul 12, 2023

search next/prev result commands and keybindings
Vlad Arama
committed
Fix review comments and remove menu
Vlad Arama
committed

Commits on Jul 24, 2023

getting-started: add welcome page preference
Vlad Arama
committed
Revert "Fix review comments and remove menu"
Vlad Arama
committed
Revert "search next/prev result commands "
Vlad Arama
committed

Commits on Jul 25, 2023

Fix review comments and improve ui
Vlad Arama
committed

Commits on Jul 26, 2023

add condition for open-editor
Vlad Arama
committed
remove text bolding
Vlad Arama
committed

Commits on Jul 28, 2023

address comments and make schema extensible
Vlad Arama
committed