[Pkg-mozext-commits] [greasemonkey] 15/30: More comprehensive updateModifiedScripts() for `document-idle`.

[David Prévot]

This is an automated email from the git hooks/post-receive script.

taffit pushed a commit to branch master
in repository greasemonkey.

commit 18f06d99caf80611956c239841455172f8d308f8
Author: Anthony Lieuallen <arantius at gmail.com>
Date:   Tue Nov 3 09:59:54 2015 -0500

    More comprehensive updateModifiedScripts() for `document-idle`.
    
    Refs #2109
---
 components/greasemonkey.js | 1 +
 content/addons4-overlay.js | 1 +
 2 files changed, 2 insertions(+)

diff --git a/components/greasemonkey.js b/components/greasemonkey.js
index 9dc0eea..8b1aecf 100644
--- 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
index 8dd682d..ed5032e 100644
--- 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() {

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mozext/greasemonkey.git