Ticket #38: gmStorage.patch

components/greasemonkey.js

@@ -255 +255 @@
-      sandbox.console = console;
-      sandbox.GM_setValue = GM_hitch(storage, "setValue");
-      sandbox.GM_getValue = GM_hitch(storage, "getValue");
+      sandbox.GM_deleteValue = GM_hitch(storage, "deleteValue");
+      sandbox.GM_enumerateValues = GM_hitch(storage, "enumerateValues");
-      sandbox.GM_openInTab = GM_hitch(this, "openInTab", unsafeContentWin);
-      sandbox.GM_xmlhttpRequest = GM_hitch(xmlhttpRequester,
-                                           "contentStartRequest");

chrome/chromeFiles/content/prefmanager.js

@@ -28 +28 @@
-  }
-
-  /**
+         * enumerate preferences
+         */
+        this.enumerateValues = function() {
+                return pref.getChildList("",{});
+        }
+
+  /**
-   * returns the named preference, or defaultValue if it does not exist
-   */
-  this.getValue = function(prefName, defaultValue) {