diff options
| author | Michael Walker <mike@barrucadu.co.uk> | 2014-05-05 20:51:51 +0100 |
|---|---|---|
| committer | Michael Walker <mike@barrucadu.co.uk> | 2014-05-05 20:51:51 +0100 |
| commit | 54fdd54e8953c49fc2360af082f8ba3c4f5fc2a2 (patch) | |
| tree | c6923437891deaf6c82aef37c929d93d6d786643 | |
| parent | 97cfec836bcb60a3f781ea459100a9610aac6f2a (diff) | |
Make the delays configurable in settings.js
| -rw-r--r-- | js/auto-reload.js | 20 | ||||
| -rw-r--r-- | js/settings.js | 12 |
2 files changed, 20 insertions, 12 deletions
diff --git a/js/auto-reload.js b/js/auto-reload.js index 3159bfd1..fa856bd9 100644 --- a/js/auto-reload.js +++ b/js/auto-reload.js @@ -27,20 +27,16 @@ $(document).ready(function(){ var poll_interval; - // number of ms to wait before reloading - var poll_interval_delay; - - // If at the bottom of the page, reload more quickly. - var poll_interval_mindelay_bottom = 3000; - var poll_interval_mindelay_top = 10000; - poll_interval_delay = poll_interval_mindelay_bottom; + // Grab the settings + var settings = new script_settings('auto-reload'); + var poll_interval_mindelay_bottom = settings.get('min_delay_bottom', 3000); + var poll_interval_mindelay_top = settings.get('min_delay_top', 10000); + var poll_interval_maxdelay = settings.get('max_delay', 600000); + var poll_interval_shortdelay = settings.get('quick_delay', 100); - // Don't take longer than this to reload. - var poll_interval_maxdelay = 600000; - - // Upon scrolling to the bottom, reload very quickly. - var poll_interval_shortdelay = 100; + // number of ms to wait before reloading + var poll_interval_delay = poll_interval_mindelay_bottom; var end_of_page = false; diff --git a/js/settings.js b/js/settings.js index 6db9df9f..cb6bf770 100644 --- a/js/settings.js +++ b/js/settings.js @@ -51,3 +51,15 @@ tb_settings['wpaint'] = { // Canvas height height: 250 }; + +// auto-reload.js +tb_settings['auto-reload'] = { + // Minimum delay before reloading the page when at the bottom + min_delay_bottom: 3000, + // Minimum delay before reloading the page when not at the bottom + min_delay_top: 10000, + // Maximum delay before reloading the page + max_delay: 600000, + //Delay to wait before reloading when the user scrolls to the bottom + quick_delay: 100 +}; |
