private void OpenWorkspace(object name)
 {
     workspaceManager.OpenWorkspace((string)name);
 }