context: function mainStep(){    if (!("initialized" in frames[0]))    {  /* 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: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/47bba97c27220c66bb2cf09703c8bdf8c118b24d/static.js/buggy/xul/content/static.js