From 857858ee6e0b9b5a64cc23597e1c6d6aa0cfa85f Mon Sep 17 00:00:00 2001
From: CalamitousFelicitousness <iowasovereign@gmail.com>
Date: Wed, 20 Aug 2025 16:53:04 +0100
Subject: [PATCH] Update setHints.js to avoid sticking hints

As described in #4137, this add a simple click handler to hide the hint when the mouse button is pressed.
---
 javascript/setHints.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/javascript/setHints.js b/javascript/setHints.js
index b8fbafe5f..098c6876e 100644
--- a/javascript/setHints.js
+++ b/javascript/setHints.js
@@ -329,6 +329,7 @@ async function setHints(analyze = false) {
         }
         el.addEventListener('mouseover', tooltipShow);
         el.addEventListener('mouseout', tooltipHide);
+        el.addEventListener('click', tooltipHide);
       } else {
         // tooltips disabled
       }