Changeset 428

Timestamp:

05/15/07 06:36:51 (2 years ago)

Author:

aranti..@gmail.com

Message:

Bugfix for "do not install script when GM is disabled" feature, when GM has been installed but never disabled.

Files:

• trunk/src/components/greasemonkey.js (modified) (3 diffs)

trunk/src/components/greasemonkey.js

@@ -14 +14 @@
-    .alert(null, "Greasemonkey alert", msg);
-}
-
-var gmIsEnabled = null;
-
-var greasemonkeyService = {
@@ -116 +114 @@
-      .loadSubScript("chrome://greasemonkey/content/xmlhttprequester.js");
-
-    // use an observer for efficient monitoring of enabled status
-    GM_prefRoot.watch('enabled', function(prefName) {
-      if ('enabled' == prefName) {
-        gmIsEnabled=GM_prefRoot.getValue('enabled', false);
-      }
-    });
-
-    //loggify(this, "GM_GreasemonkeyService");
-  },
@@ -130 +121 @@
-
-    // don't intercept anything when GM is not enabled
-gmIsEnabled
+GM_getEnabled()
-      return ret;
-    }