GitHub repository: nicholasl00/theia-switch-workspace
Primary language: Jupyter Notebook
Created: 2020-02-18T23:49:02Z
Description: custom theia extension to switch workspaces during runtime using workspaceService.open