IDE.Pane.Workspace

data WorkspaceState

data IDEWorkspace

updateWorkspace

getWorkspace

showWorkspace