public void doubleClickTriggered(MouseEvent e) {
		// for users to override
	}
Called when a double-click event is discovered.

@param e the event that triggered the double-click
Ghidra/Framework/Docking/src/main/java/docking/event/mouse/GMouseListenerAdapter.java