diff options
| author | guidocella <guidocella91@gmail.com> | 2017-12-16 19:56:53 +0100 |
|---|---|---|
| committer | guidocella <guidocella91@gmail.com> | 2017-12-16 19:56:53 +0100 |
| commit | 15b93060c76ee4d59eb8ef90f6e1f8dea4c34ac9 (patch) | |
| tree | 7c0d664473c8472661b9c41c63eb7e5fd01d9706 /ext/fg/js/frontend.js | |
| parent | a17e84de83e3f8750d41acf942c4fe476230d83a (diff) | |
Add option to play audio automatically
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(); |