rem: if (!frames[0].initialized) 
add: if (!("initialized" in frames[0])) 
context: function mainStep(){    if (!frames[0].initialized)    {  /* voodoo required for skin switching.  When the user changes a skin,        * the output document is reloaded. this document *cannot* tell us        * it has been reloaded, because the type="content" attribute used        * on the iframe (to allow selection) also keeps the iframe from getting        * to the chrome above it.  Instead, we poll the document looking for        * the "initialized" variable. If it's not there, we reset the current        * object, and set initialized in the document. */        setClientOutput(frames[0].document);                if (client.output)        {            var o = client.currentObject;            client.currentObject = null;            setCurrentObject (o);            frames[0].initialized = true;        }    }    client.eventPump.stepEvents();    setTimeout ("mainStep()", client.STEP_TIMEOUT);    }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/b8511d02e8bcb51d475c1c9a02b7a6f680ba5830/static.js/clean/extensions/irc/xul/content/static.js