diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-04-26 21:05:46 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-26 21:05:46 -0400 |
| commit | 6f5ad490fb54b4d0431d56cc644c76d62213abd7 (patch) | |
| tree | 162c22275eb2444d36d0f0ba206ac3dcecb3d89e /ext/js/app | |
| parent | 59f788be395145a5a350bb361cc70a90830f1f5f (diff) | |
Add support for restoring the selection after using scanSelectedText (#1631)
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; } |