/// <summary> /// Process one workspace to remove. /// </summary> private void ProcessOneKwsToRemove(Workspace kws) { // We can remove the workspace now. if (kws.Sm.ReadyToRemove()) { // Delete the workspace data. kws.DeleteAllData(); // Remove the workspace from the manager. m_wm.RemoveWorkspaceObject(kws); // Request a run of the state machine in case we want to stop. RequestRun("removed " + Base.GetKwsString()); } }