diff options
author | Alex Yatskov <FooSoft@users.noreply.github.com> | 2017-12-16 11:20:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-16 11:20:14 -0800 |
commit | 2470b6209a27ceea814a13d920a20683bacf09a6 (patch) | |
tree | 7c0d664473c8472661b9c41c63eb7e5fd01d9706 /ext/fg/js/frontend.js | |
parent | a17e84de83e3f8750d41acf942c4fe476230d83a (diff) | |
parent | 15b93060c76ee4d59eb8ef90f6e1f8dea4c34ac9 (diff) |
Merge pull request #103 from guidocella/play-audio-automatically
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(); |