rem: document.GM_registerMenuCommand = 
add: e.view.GM_registerMenuCommand = 
context:   this.loadDoc = function(e) {    var docId;    var document = e.originalTarget;    if (!document.__gmId) {      document.__gmId = nextDocId++;    }    docMenuCommands[document.__gmId] =       window.document.createElement('menupopup');        //enclose the docId to register on.    //simplifies API, and disallows registering commands on a doc other     //than the one the script's on.    docId = document.__gmId;        document.GM_registerMenuCommand =       function(commandName, commandCallback) {         registerMenuCommand(docId, commandName, commandCallback);      };   }
meta: 4585	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4585/d86a63b95a342e64216ae0c9e5a4175acf8ca9a9/greasemonkey.js/buggy/src/content/greasemonkey.js