IDE.Pane.Workspace

data WorkspaceState

data WorkspacePane

getWorkspacePane

showWorkspacePane

refreshWorkspacePane

rebuildWorkspacePane