diff options
author | siikamiika <siikamiika@users.noreply.github.com> | 2019-12-05 22:48:05 +0200 |
---|---|---|
committer | siikamiika <siikamiika@users.noreply.github.com> | 2019-12-05 22:48:05 +0200 |
commit | 595636c40bdc344ee34fee55c951e62ba0a24505 (patch) | |
tree | 223bd0b855987c9a40ba21a646925a6b0bd19e98 /ext/mixed | |
parent | 1bdef2e7c3d9cd4480113ae7294d5896bccfb4d7 (diff) |
move text selection to TextScanner
Diffstat (limited to 'ext/mixed')
-rw-r--r-- | ext/mixed/js/text-scanner.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ext/mixed/js/text-scanner.js b/ext/mixed/js/text-scanner.js index fc57d6c3..0adcc0bd 100644 --- a/ext/mixed/js/text-scanner.js +++ b/ext/mixed/js/text-scanner.js @@ -206,6 +206,9 @@ class TextScanner { const results = await this.publish('textSearch', {textSource, cause}); if (results.some((r) => r)) { this.textSourceCurrent = textSource; + if (this.options.scanning.selectText) { + textSource.select(); + } } this.pendingLookup = false; } |