rem: } 
add: }  if (isWindowFiltered(win)) return; 
context: function con_winopen (win){    if ("ChromeWindow" in win && win instanceof win.ChromeWindow &&        (win.location.href == "about:blank" || win.location.href == ""))    {        //dd ("not loaded yet?");        setTimeout (con_winopen, 100, win);        return;    }        //dd ("window opened: " + win); // + ", " + getInterfaces(win));    console.windows.appendChild (new WindowRecord(win, ""));    console.windows.hookedWindows.push(win);    win.addEventListener ("load", console.onWindowLoad, false);    win.addEventListener ("unload", console.onWindowUnload, false);    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