[andrewpareles]

Thanks for sharing! If Theia is built on top of monaco, I wonder if a form of one-click switch might work. The monaco editor is theoretically part of the vscode repo, while the "workbench" with settings/configs lives one layer up.