private void setPanelEnabled(boolean enabled) {
		workspaceChooser.setEnabled(enabled);
		runningToolsCardPanel.setEnabled(enabled);
		validate();
		repaint();
	}
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