Merge branch 'main' into ts-extra-libs

mkslanc · Jan 31, 2023 · 1e7ce0f · 1e7ce0f
2 parents 2614726 + 893168e
commit 1e7ce0f
Show file tree

Hide file tree

Showing 9 changed files with 1,643 additions and 4 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/packages/ace-linters/components/description-tooltip.ts b/packages/ace-linters/components/description-tooltip.ts
@@ -87,6 +87,8 @@ export class DescriptionTooltip extends Tooltip {
         let session = this.$activeEditor.session;
 
         this.provider.doHover(session, screenPos, (hover) => {
+            if (!hover)
+                return;
             let description = this.provider.getTooltipText(hover);
             if (!description || !description.text) {
                 this.hide();
@@ -189,4 +191,4 @@ export class DescriptionTooltip extends Tooltip {
         event.removeListener(this.getElement(), "mouseout", this.onMouseOut);
     };
 
-}
+}