context:   onLocationChange: function(aProgress, aRequest, aURI)  {    torbutton_log(1, 'onLocationChange');   // This fires when the location bar changes i.e load event is confirmed   // or when the user switches tabs    if(aProgress) {        torbutton_log(1, "location progress");        // XXX: Check mimetype or DOM to not fuck with .txt files and other        // formats..        var doc = aProgress.DOMWindow.document;        if(doc) hookDoc(aProgress.DOMWindow, doc);                else torbutton_log(3, "No DOM at location event!");    } else {        torbutton_log(3, "No aProgress for location!");    }    return 0;  },
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6eb06242dc852a2fb22e7c2c565004d895833f1b/torbutton.js/clean/src/chrome/content/torbutton.js