Workspace switching added to the editor.