private void clearAll() {
		runningToolsMap.clear();

		workspaceModel.removeAllElements();

		runningToolsCardPanel.removeAll();

		validate();
	}
Cause the specified workspace to be the active one
NOTE: this workspace must already be known to the ToolManager
@param ws the workspace
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java