public void setHoverProvider(HoverProvider hoverProvider) {
		this.hoverProvider = hoverProvider;
		if (hoverProvider != null && hoverTimer == null) {
			int timeout = ToolTipManager.sharedInstance().getInitialDelay();
			hoverTimer = new Timer(timeout, this);
			hoverTimer.setRepeats(false);
			hoverTimer.stop();
		}
		else if (hoverProvider == null && hoverTimer != null) {
			hoverTimer.stop();
			hoverTimer = null;
		}
	}
Call this when the mouse is no longer over the hover source
Ghidra/Framework/Docking/src/main/java/docking/widgets/fieldpanel/HoverHandler.java