fix: hide gutter tooltip event missing from editor signal (#5701)

ajaxorg · Dec 20, 2024 · 66a6736 · 66a6736
1 parent 9df7987
commit 66a6736
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/mouse/default_gutter_handler.js b/src/mouse/default_gutter_handler.js
@@ -222,7 +222,7 @@ class GutterTooltip extends Tooltip {
             }
         }
 
-        if (annotation.displayText.length === 0) return this.hide();
+        if (annotation.displayText.length === 0) return this.hideTooltip();
 
         var annotationMessages = {error: [], security: [], warning: [], info: [], hint: []};
         var iconClassName = gutter.$useSvgGutterIcons ? "ace_icon_svg" : "ace_icon";
@@ -271,6 +271,9 @@ class GutterTooltip extends Tooltip {
     }
 
     hideTooltip() {
+        if(!this.isOpen){
+            return;
+        }
         this.$element.removeAttribute("aria-live");
         this.hide();
         this.editor._signal("hideGutterTooltip", this);