summaryrefslogtreecommitdiff
path: root/ext/js/app/frontend.js
diff options
context:
space:
mode:
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;
}