private void stopTimer() {
		if (hoverTimer != null) {
			hoverTimer.stop();
		}
	}
Call this when the mouse is no longer over the hover source
Ghidra/Framework/Docking/src/main/java/docking/widgets/fieldpanel/HoverHandler.java