void SwitchWorkspace(IWorkspace newWorkspace) { if (CurrentWorkspace != null) { CurrentWorkspace.Activate(false); } CurrentWorkspace = newWorkspace; CurrentWorkspace.Activate(true); EventManager.TriggerEvent(new EventOnWorkspaceSwitched(CurrentWorkspace)); }