rem: dump("Failed to set the intl.charset.detector preference.\n"+ex+"\n"); 
add: dump("Failed to set the intl.charset.detector preference.\n"); 
context: function SelectDetector(event, doReload){    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 str = Components.classes["@mozilla.org/supports-string;1"]                            .createInstance(Components.interfaces.nsISupportsString);        str.data = prefvalue;        gPrefService.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"+ex+"\n");    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9e59333f1ea055a66f9d3681cfb68bf3a84f50fe/browser.js/clean/browser/base/content/browser.js