From 942168c1fa9bb7dc4e9575aa9925af3daee1f09f Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 2 May 2017 17:16:13 +0300
Subject: [PATCH] code cosmetics: differentiate the debounce delay

---
 update.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update.js b/update.js
index 5a6e03fb..2131de88 100644
--- a/update.js
+++ b/update.js
@@ -136,7 +136,7 @@ var updater = {
     let lastWriteTime = 0;
     return text => {
       queue.push({text, time: new Date().toLocaleString()});
-      debounce(flushQueue, text && updater.checkAllStyles.running ? 1e3 : 0);
+      debounce(flushQueue, text && updater.checkAllStyles.running ? 1000 : 0);
     };
     function flushQueue() {
       chromeLocal.getValue('updateLog').then((lines = []) => {