diff options
author | Andrew Dolgov <[email protected]> | 2018-12-01 11:18:35 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2018-12-01 11:18:35 +0300 |
commit | 195180b64d679540d4303f2205fe1488ff946dd8 (patch) | |
tree | 9619444095e2d0e910c48021a04eb473c9d131db /js/feedlist.js | |
parent | e720e6b628abcf860783fe59ea71711efc187d0e (diff) |
minor refactoring: normalize some function names; cleanup; etc
Diffstat (limited to 'js/feedlist.js')
-rw-r--r-- | js/feedlist.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/feedlist.js b/js/feedlist.js index ec28c67ee..d67fcc69c 100644 --- a/js/feedlist.js +++ b/js/feedlist.js @@ -165,10 +165,10 @@ function viewfeed(params) { function feedlist_init() { console.log("in feedlist init"); - loading_set_progress(50); + setLoadingProgress(50); document.onkeydown = hotkey_handler; - setInterval(hotkey_prefix_timeout, 5*1000); + setInterval(hotkeyPrefixTimeout, 5*1000); setInterval(catchupBatchedArticles, 3*1000); if (!getActiveFeedId()) { |