aboutsummaryrefslogtreecommitdiff
path: root/ext/mixed/js
diff options
context:
space:
mode:
authorsiikamiika <siikamiika@users.noreply.github.com>2019-12-05 22:48:05 +0200
committersiikamiika <siikamiika@users.noreply.github.com>2019-12-05 22:48:05 +0200
commit595636c40bdc344ee34fee55c951e62ba0a24505 (patch)
tree223bd0b855987c9a40ba21a646925a6b0bd19e98 /ext/mixed/js
parent1bdef2e7c3d9cd4480113ae7294d5896bccfb4d7 (diff)
move text selection to TextScanner
Diffstat (limited to 'ext/mixed/js')
-rw-r--r--ext/mixed/js/text-scanner.js3
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;
}