rem: function con_winunload (win) 
add: function con_winunload (e) 
context: function con_winunload (win){    //dd ("window closed: " + win);    if (win.location.href != "chrome://venkman/content/venkman.xul")    {        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);    }    console.scriptsView.freeze();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-handlers.js/clean/extensions/venkman/resources/content/venkman-handlers.js