void setWorkspaceChanged(WorkspaceImpl ws) {
		if (!changedWorkspaces.containsKey(ws)) {
			changedWorkspaces.put(ws, ws);
		}
	}
Mark workspace as changed.

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