add: dump("Charset Detector menu item pressed: " + event.node.getAttribute('id') + "\n");  
context: function SelectDetector(event){    uri =  event.target.getAttribute("id");    prefvalue = uri.substring('charsetDetector.'.length, uri.length);    if("off" == prefvalue) { // "off" is special value to turn off the detectors        prefvalue = "";    }    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);        window.content.location.reload();    }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/7e59ab156c4b3ec55f49f095fe63d51c6d56850e/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js