public boolean isHoverShowing() {
		if (hoverProvider != null) {
			return hoverProvider.isShowing();
		}
		return false;
	}
Call this when the mouse is no longer over the hover source
Ghidra/Framework/Docking/src/main/java/docking/widgets/fieldpanel/HoverHandler.java