diff options
Diffstat (limited to 'ext/js/app')
| -rw-r--r-- | ext/js/app/frontend.js | 2 |
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; } |