diff options
| author | Andrew Dolgov <[email protected]> | 2018-12-01 22:07:00 +0300 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2018-12-01 22:07:00 +0300 |
| commit | de9509cd31d63b036f63fc56697e018263e52eda (patch) | |
| tree | b2a12a819c2d066e485385cece01455e490bd74a /js/feedlist.js | |
| parent | b284e72d6357e53a171832696d3867e36d02a257 (diff) | |
hotkeys: simplify prefix timeout handling
Diffstat (limited to 'js/feedlist.js')
| -rw-r--r-- | js/feedlist.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/js/feedlist.js b/js/feedlist.js index c295bf22b..bff62043f 100644 --- a/js/feedlist.js +++ b/js/feedlist.js @@ -1,3 +1,5 @@ +/* global notify,__,dijit */ + const Feeds = { counters_last_request: 0, _active_feed_id: 0, @@ -208,7 +210,6 @@ const Feeds = { Utils.setLoadingProgress(50); document.onkeydown = () => { App.hotkeyHandler(event) }; - window.setInterval(() => { hotkeyPrefixTimeout() }, 3 * 1000); window.setInterval(() => { Headlines.catchupBatchedArticles() }, 10 * 1000); if (!this.getActiveFeedId()) { |