private void doConnect(PluginTool producer, PluginTool consumer, String eventName,
			boolean connect) {
		ToolConnection tc = toolManager.getConnection(producer, consumer);
		if (tc.isConnected(eventName) == connect) {
			// if already connected
			return;
		}

		if (connect) {
			tc.connect(eventName);
			Msg.info(this, msgSource + ": Connected consumer " + consumer.getName() +
				" to producer " + producer.getName() + " for event " + eventName);
		}
		else {
			tc.disconnect(eventName);
			Msg.info(this, msgSource + ": Disconnected consumer " + consumer.getName() +
				" from producer " + producer.getName() + " for event " + eventName);
		}
	}
Tool was removed from a workspace; update the display.
@param tool tool removed
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/ToolConnectionPanel.java