Keep hover editors from closing when mouse moves

If the mouse recently opened a hover editor and you left it there,
Quick Explorer would open hover previews and then immediately
close them.  This version fixes that issue and generally prevents
mouse movements from affecting hover editors opened by Quick
Explorer.

manifest.json

@@ -3,7 +3,7 @@
   "name": "Quick Explorer",
   "author": "PJ Eby",
   "authorUrl": "https://github.com/pjeby",
-  "version": "0.2.4",
+  "version": "0.2.5",
   "description": "Perform file explorer operations (and see your current file path) from the title bar, using the mouse or keyboard",
   "minAppVersion": "0.15.9",
   "isDesktopOnly": true

src/FolderMenu.ts

@@ -11,6 +11,7 @@ declare module "obsidian" {
         position(pos?: {x: number, y: number}): void
         hide(): void
         onHover: boolean
+        onTarget: boolean
         isPinned?: boolean
         abortController?: Component
         targetEl?: HTMLElement
@@ -370,8 +371,8 @@ export class FolderMenu extends PopupMenu implements HoverParent {
         if (popover === old) return;
         if (old && popover !== old) {
             this._popover = null;
-            old.onHover = false;   // Force unpinned Hover Editors to close
-            if (!old.isPinned) old.hide();
+            old.onHover = old.onTarget = false;   // Force unpinned Hover Editors to close
+            if (!old.isPinned || autoPreview) old.hide();
         }
         if (popover && !this.canShowPopover()) {
             popover.onHover = false;   // Force unpinned Hover Editors to close
@@ -416,6 +417,8 @@ export class FolderMenu extends PopupMenu implements HoverParent {
                 popover.position({x: left, y: top});
                 hoverEl.style.top = top + "px";
                 hoverEl.style.left = left + "px";
+                // Keep hover editor from closing even if mouse moves away
+                popover.togglePin?.(true);
             }
             if ("onShowCallback" in popover) {
                 around(popover as any, {onShowCallback(old) {

versions.json

@@ -1,5 +1,5 @@
 {
-    "0.2.4": "0.15.9",
+    "0.2.5": "0.15.9",
     "0.1.41": "0.15.9",
     "0.1.37": "0.14.5",
     "0.1.23": "0.14.2",