void setActiveWorkspace(WorkspaceImpl workspace) {
		if (workspace == activeWorkspace) {
			return;
		}
		// if we're in the process of being restored, don't set the change flag
		if (!inRestoreMode) {
			activeWorkspaceChanged = true;
		}

		// set the current active workspace to inactive first, if there
		// is one. And since only one workspace can be active at a time,
		// we don't have to set each one in the list inactive
		if (activeWorkspace != null) {
			activeWorkspace.setVisible(false);
		}

		// remember the new one as the active one
		activeWorkspace = workspace;

		// notify listeners of new active workspace
		for (WorkspaceChangeListener listener : changeListeners) {
			listener.workspaceSetActive(activeWorkspace);
		}
	}
Set the active workspace.

@param workspace workspace to set active
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ToolManagerImpl.java