rem: prefvalue = gPrefService.getComplexValue("intl.charset.detector", 
add: var pref = Components.classes["@mozilla.org/preferences-service;1"] .getService(Components.interfaces.nsIPrefBranch); prefvalue = pref.getComplexValue("intl.charset.detector", 
context: function UpdateCharsetDetector(){    var prefvalue;    try {        prefvalue = gPrefService.getComplexValue("intl.charset.detector",                                         Components.interfaces.nsIPrefLocalizedString).data;    }    catch (ex) {        prefvalue = "";    }    if (prefvalue == "") prefvalue = "off";    dump("intl.charset.detector = "+ prefvalue + "\n");    prefvalue = 'chardet.' + prefvalue;    var menuitem = document.getElementById(prefvalue);    if (menuitem) {        menuitem.setAttribute('checked', 'true');    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9e59333f1ea055a66f9d3681cfb68bf3a84f50fe/browser.js/clean/browser/base/content/browser.js