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 = "";    }    try {        var pref = Components.classes["@mozilla.org/preferences-service;1"]                             .getService(Components.interfaces.nsIPrefBranch);        var str =  Components.classes["@mozilla.org/supports-string;1"]                             .createInstance(Components.interfaces.nsISupportsString);        str.data = prefvalue;        pref.setComplexValue("intl.charset.detector",                             Components.interfaces.nsISupportsString, str);        if (doReload) window._content.location.reload();    }    catch (ex) {        dump("Failed to set the intl.charset.detector preference.\n");    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d33896aeebf97b93e36bfe2d8dd1876235887440/charsetOverlay.js/clean/toolkit/content/charsetOverlay.js