public void PopWorkspace() { Desktop.PopWorkspace(); }
public void PushWorkspace(Workspace newWorkspace) { Desktop.PushWorkspace(newWorkspace); }