private void chooseWorkspace(String workspaceName) {
		if (valueIsAdjusting) {
			return;
		}

		ToolManager tm = activeProject.getToolManager();
		Workspace[] workspaces = tm.getWorkspaces();
		Workspace ws = null;
		for (int w = 0; ws == null && w < workspaces.length; w++) {
			if (workspaces[w].getName().equals(workspaceName)) {
				ws = workspaces[w];
			}
		}

		if (ws != null) {
			ws.setActive();
		}
		else {
			// must have been a rename that set this and not the action
			// listener, so don't do anything
		}

	}
used by the action listener on the combo-box workspace chooser
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java