aboutsummaryrefslogtreecommitdiff
path: root/ext/js/app/frontend.js
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2021-04-26 21:05:46 -0400
committerGitHub <noreply@github.com>2021-04-26 21:05:46 -0400
commit6f5ad490fb54b4d0431d56cc644c76d62213abd7 (patch)
tree162c22275eb2444d36d0f0ba206ac3dcecb3d89e /ext/js/app/frontend.js
parent59f788be395145a5a350bb361cc70a90830f1f5f (diff)
Add support for restoring the selection after using scanSelectedText (#1631)
Diffstat (limited to 'ext/js/app/frontend.js')
-rw-r--r--ext/js/app/frontend.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/js/app/frontend.js b/ext/js/app/frontend.js
index c7e8c9d8..e1b531d4 100644
--- a/ext/js/app/frontend.js
+++ b/ext/js/app/frontend.js
@@ -683,7 +683,7 @@ class Frontend {
const range = this._getFirstNonEmptySelectionRange();
if (range === null) { return false; }
const source = new TextSourceRange(range, range.toString(), null, null);
- await this._textScanner.search(source, {focus: true});
+ await this._textScanner.search(source, {focus: true, restoreSelection: true});
return true;
}