rem: const WW_CTRID = "@mozilla.org/embedcomp/window-watcher;1"; const nsIWindowWatcher = Components.interfaces.nsIWindowWatcher; var ww = Components.classes[WW_CTRID].getService(nsIWindowWatcher); ww.unregisterNotification (console.wwObserver); 
add: console.windowWatcher.unregisterNotification (console.wwObserver); while (console.windows.hookedWindows.length) { var win = console.windows.hookedWindows.pop(); win.removeEventListener ("load", console.onWindowLoad, false); win.removeEventListener ("unload", console.onWindowUnload, false); } 
context: function destroyHandlers(){    const WW_CTRID = "@mozilla.org/embedcomp/window-watcher;1";    const nsIWindowWatcher = Components.interfaces.nsIWindowWatcher;    var ww = Components.classes[WW_CTRID].getService(nsIWindowWatcher);    ww.unregisterNotification (console.wwObserver);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e9569eb18e50e06de729cba194fc4b9418c48865/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js