diff options
| author | Andrew Dolgov <[email protected]> | 2018-11-30 14:20:00 +0300 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2018-11-30 14:20:00 +0300 |
| commit | 0c06bb5fe1278b7d92926b21b000e9c966e19ee6 (patch) | |
| tree | b0ea871278e96362754ae17fd78b4df30d179e5c /js/feedlist.js | |
| parent | b9585004e68fdd7718e042083a4d9fb2dc351e0c (diff) | |
scroll handler: performance improvements
Diffstat (limited to 'js/feedlist.js')
| -rw-r--r-- | js/feedlist.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/feedlist.js b/js/feedlist.js index 4aa70a361..78a125998 100644 --- a/js/feedlist.js +++ b/js/feedlist.js @@ -176,6 +176,7 @@ function feedlist_init() { document.onkeydown = hotkey_handler; setInterval(hotkey_prefix_timeout, 5*1000); + setInterval(catchupBatchedArticles, 3*1000); if (!getActiveFeedId()) { viewfeed({feed: -3}); |