@Override
	public void workspaceSetActive(Workspace ws) {
		if (ws == null) {
			throw new IllegalArgumentException("Active Workspace cannot be null");
		}
		workspaceSetActive(ws, ws.getName());
	}
called when a workspace is setActive() by the ToolManager
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java