rem: if (handler == this.currentHandler) { this.currentHandler = null; } 
add: this.menuCommanders.splice(i, 1); 
context: GM_BrowserUI.contentUnload = function(e) {  GM_log("> GM_BrowserUI.contentUnload");  // remove the handler for this document    var handler = null;    //looping over handlers rather than using getHandler because we need  //the index into handlers.splice.  for (var i = 0; i < this.handlers.length; i++) {    if (this.handlers[i].contentWindow == e.currentTarget) {      handler = this.handlers[i];      handler.menuCommander.detach();            if (handler == this.currentHandler) {        this.currentHandler = null;      }      this.handlers.splice(i, 1);      GM_log("* Found and removed corresponding handler")      break;    }  }  GM_log("< GM_BrowserUI.contentUnload");}
meta: 4585	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4585/0f64c0c560e01eade68e9d3dc8caefb5c308d176/browser.js/clean/src/content/browser.js