fix: hide gutter tooltip event missing from editor signal

ajaxorg · Dec 20, 2024 · 94ff9a7 · 94ff9a7
1 parent e580ecf
commit 94ff9a7
Showing 1 changed file with 2 additions and 2 deletions.
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,7 +271,7 @@ class GutterTooltip extends Tooltip {
     }
 
     hideTooltip() {
-        this.$element.removeAttribute("aria-live");
+        this.$element?.removeAttribute("aria-live");
         this.hide();
         this.editor._signal("hideGutterTooltip", this);
     }