private void setHelpLocation() {
		HelpService help = Help.getHelpService();
		help.registerHelp(workspaceChooser, new HelpLocation(plugin.getName(), "Workspace"));
	}
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