More comprehensive updateModifiedScripts() for document-idle.

Refs #2109
greasemonkey · Nov 3, 2015 · 18f06d9 · 18f06d9
1 parent 5fcfc46
commit 18f06d9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/components/greasemonkey.js b/components/greasemonkey.js
@@ -187,6 +187,7 @@ service.prototype.scriptRefresh = function(url, windowId, browser) {
   if (GM_prefRoot.getValue('enableScriptRefreshing')) {
     this.config.updateModifiedScripts("document-start", url, windowId, browser);
     this.config.updateModifiedScripts("document-end", url, windowId, browser);
+    this.config.updateModifiedScripts("document-idle", url, windowId, browser);
   }
 };
 

diff --git a/content/addons4-overlay.js b/content/addons4-overlay.js
@@ -154,6 +154,7 @@ function focus() {
   var config = GM_util.getService().config;
   config.updateModifiedScripts('document-start', null);
   config.updateModifiedScripts('document-end', null);
+  config.updateModifiedScripts('document-idle', null);
 }
 
 function init() {