diff options
Diffstat (limited to 'ext/mixed')
| -rw-r--r-- | ext/mixed/js/text-scanner.js | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/ext/mixed/js/text-scanner.js b/ext/mixed/js/text-scanner.js index 2410f2b7..f3e99577 100644 --- a/ext/mixed/js/text-scanner.js +++ b/ext/mixed/js/text-scanner.js @@ -144,6 +144,10 @@ class TextScanner extends EventDispatcher {          return clonedTextSource.text();      } +    hasSelection() { +        return (this._textSourceCurrent !== null); +    } +      clearSelection(passive) {          if (!this._canClearSelection) { return; }          if (this._textSourceCurrent !== null) { |