diff options
Diffstat (limited to 'ext/bg/js/search.js')
| -rw-r--r-- | ext/bg/js/search.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/bg/js/search.js b/ext/bg/js/search.js index 52fc19f8..b046806e 100644 --- a/ext/bg/js/search.js +++ b/ext/bg/js/search.js @@ -216,12 +216,12 @@ class DisplaySearch extends Display { this._clipboardMonitor.setPreviousText(window.getSelection().toString().trim()); } - _onExternalSearchUpdate({text}) { + _onExternalSearchUpdate({text, animate=true}) { this._setQuery(text); const url = new URL(window.location.href); url.searchParams.set('query', text); window.history.pushState(null, '', url.toString()); - this._onSearchQueryUpdated(this._query.value, true); + this._onSearchQueryUpdated(this._query.value, animate); } async _onSearchQueryUpdated(query, animate) { |