diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-09-11 22:46:41 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-11 22:46:41 -0400 |
| commit | 568775c6dc9ff4acc2386b8983cda037b87655e0 (patch) | |
| tree | 9b85585940feb9de306c61dab00401ab3a205673 /ext/mixed/js/display.js | |
| parent | e56674e4ee39c706078558259305cb12babec343 (diff) | |
Text scanner cause update (#813)
* Rename _searchAtFromMouse to _searchAtFromMouseMove
* Rename cause 'mouse' to 'mouseMove' for clarity
Diffstat (limited to 'ext/mixed/js/display.js')
| -rw-r--r-- | ext/mixed/js/display.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index 4c42a48d..92e27faa 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -510,9 +510,10 @@ class Display extends EventDispatcher { _onQueryParserSearch({type, definitions, sentence, input: {cause}, textSource}) { const query = textSource.text(); + const history = (cause === 'click'); const details = { focus: false, - history: cause !== 'mouse', + history, params: this._createSearchParams(type, query, false), state: { sentence, |