IDE.Pane.Workspace
data
WorkspaceState
data
IDEWorkspace
updateWorkspace
getWorkspace
showWorkspace