diff options
Diffstat (limited to 'ext')
| -rw-r--r-- | ext/js/app/frontend.js | 6 | ||||
| -rw-r--r-- | ext/js/language/text-scanner.js | 5 | 
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}       */ |