private void showInactiveWorkspace() {
		// if this is the first time we're showing it, create it
		if (inactivePanel == null) {
			inactivePanel = new JPanel();
			runningToolsCardPanel.add(inactivePanel, NO_ACTIVE_WORKSPACE);
		}
		if (runningToolsCardPanel.getComponentCount() == 0) {
			runningToolsCardPanel.add(inactivePanel, NO_ACTIVE_WORKSPACE);
		}

		activeWorkspace = null;

		setPanelEnabled(false);
		workspaceManager.show(runningToolsCardPanel, NO_ACTIVE_WORKSPACE);
		setBorder(INACTIVE_BORDER);
	}
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