diff options
| author | Alex Yatskov <alex@foosoft.net> | 2018-03-12 13:04:37 -0700 |
|---|---|---|
| committer | Alex Yatskov <alex@foosoft.net> | 2018-03-12 13:04:37 -0700 |
| commit | 68cdd7d85b741d34133ea04b95a4eb1e49553ace (patch) | |
| tree | b6041ae3bbd2c327e57ca0766d77f3e11c654066 /ext/fg/js/frontend.js | |
| parent | f0e9716aa5e763480cf6accceefcea4fa73bc149 (diff) | |
| parent | 2470b6209a27ceea814a13d920a20683bacf09a6 (diff) | |
Merge branch 'dev'
Diffstat (limited to 'ext/fg/js/frontend.js')
| -rw-r--r-- | ext/fg/js/frontend.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index 3a90b3ad..266f9640 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -254,6 +254,7 @@ class Frontend { searchClear() { docImposterDestroy(); this.popup.hide(); + this.popup.clearAutoPlayTimer(); if (this.options.scanning.selectText && this.textSourceLast) { this.textSourceLast.deselect(); |