rem: if (doReload) window.content.location.reload(); 
add: if (doReload) window._content.location.reload(); 
context: function SelectDetector(event, doReload){	dump("Charset Detector menu item pressed: " + event.target.getAttribute('id') + "\n");    var uri =  event.target.getAttribute("id");    var prefvalue = uri.substring('chardet.'.length, uri.length);    if("off" == prefvalue) { // "off" is special value to turn off the detectors        prefvalue = "";    }    var pref = Components.classes['component://netscape/preferences'];    if (pref) {        pref = pref.getService();        pref = pref.QueryInterface(Components.interfaces.nsIPref);    }     if (pref) {        pref.SetCharPref("intl.charset.detector", prefvalue);        if (doReload) window.content.location.reload();    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/03ea82871ae0d2b0e52e9f402c89829c8a4feb6a/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js