rem: var winRecord = console.windows.locateChildByWindow(win); if (!ASSERT(winRecord, "onWindowClose: Can't find window record.")) return; console.windows.removeChildAtIndex(winRecord.childIndex); 
add: if (win.location.href != "chrome: { var winRecord = console.windows.locateChildByWindow(win); if (!ASSERT(winRecord, "onWindowClose: Can't find window record.")) return; console.windows.removeChildAtIndex(winRecord.childIndex); var idx = arrayIndexOf(console.windows.hookedWindows, win); if (idx != -1) arrayRemoveAt(console.windows.hookedWindows, idx); } 
context: function con_winunload (win){    //dd ("window closed: " + win);    var winRecord = console.windows.locateChildByWindow(win);    if (!ASSERT(winRecord, "onWindowClose: Can't find window record."))        return;    console.windows.removeChildAtIndex(winRecord.childIndex);    console.scriptsView.freeze();}
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