From 54fdd54e8953c49fc2360af082f8ba3c4f5fc2a2 Mon Sep 17 00:00:00 2001 From: Michael Walker Date: Mon, 5 May 2014 20:51:51 +0100 Subject: Make the delays configurable in settings.js --- js/auto-reload.js | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) (limited to 'js/auto-reload.js') 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; -- cgit v1.3