private void workspaceSetActive(Workspace ws, String workspaceName) {
		// set the active workspace handle
		activeWorkspace = ws;

		if (ws == null) {
			showInactiveWorkspace();
			return;
		}

		// show the right workspace in the chooser
		workspaceModel.setSelectedItem(workspaceName);

		// show the running tools in the specified workspace
		workspaceManager.show(runningToolsCardPanel, workspaceName);
		setPanelEnabled(true);

		setBorder(ACTIVE_WORKSPACE_BORDER);

		validate();
		repaint();
	}
called when a workspace is setActive() by the ToolManager
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java