rem: if (this.currentHandler != null) { this.currentHandler.menuCommander.detach(); this.currentHandler = null; 
add: if (this.currentMenuCommander != null) { this.currentMenuCommander.detach(); this.currentMenuCommander = null; 
context: GM_BrowserUI.onLocationChange = function(a,b,c) {  GM_log("> GM_BrowserUI.onLocationChange");  if (this.currentHandler != null) {    this.currentHandler.menuCommander.detach();    this.currentHandler = null;  }  this.currentHandler = this.getHandler(this.tabBrowser.selectedBrowser.                                        contentWindow);    if (!this.currentHandler) {    GM_log("* no handler registered for this content doc, exiting")    return;  }    this.currentHandler.menuCommander.attach();  GM_log("< GM_BrowserUI.onLocationChange");}
meta: 4585	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4585/0f64c0c560e01eade68e9d3dc8caefb5c308d176/browser.js/clean/src/content/browser.js