Clear mouse position on popup close (#997)

2 files changed, 11 insertions, 0 deletions

diff --git a/ext/js/app/frontend.js b/ext/js/app/frontend.js
index cc71311d..c856ae0f 100644
--- a/ext/js/app/frontend.js
+++ b/ext/js/app/frontend.js
@@ -349,6 +349,7 @@ export class Frontend {
      */
     _onClosePopups() {
         this._clearSelection(true);
+        this._clearMousePosition();
     }
 
     /**
@@ -438,6 +439,11 @@ export class Frontend {
         this._textScanner.clearSelection();
     }
 
+    /** */
+    _clearMousePosition() {
+        this._textScanner.clearMousePosition();
+    }
+
     /**
      * @param {number} delay
      * @param {boolean} restart
diff --git a/ext/js/language/text-scanner.js b/ext/js/language/text-scanner.js
index 17809300..0d8e49b1 100644
--- a/ext/js/language/text-scanner.js
+++ b/ext/js/language/text-scanner.js
@@ -364,6 +364,11 @@ export class TextScanner extends EventDispatcher {
         }
     }
 
+    /** */
+    clearMousePosition() {
+        this._lastMouseMove = null;
+    }
+
     /**
      * @returns {?import('text-source').TextSource}
      */