rem: var prefs = Components.classes["@mozilla.org/preferences-service;1"]. getService(Components.interfaces.nsIPrefService); var branch = prefs.getBranch("extensions."+MYSTRING+"."); return branch.getCharPref("charset"); 
add: return that.preferences.data.charset; 
context:   that.getCharset = function() {    var prefs = Components.classes["@mozilla.org/preferences-service;1"].      getService(Components.interfaces.nsIPrefService);    var branch = prefs.getBranch("extensions."+MYSTRING+".");    return branch.getCharPref("charset");  };
meta: 4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4463/facd4869ff3b083d21afb437ee474592eec22518/itsalltext.js/buggy/chrome/content/itsalltext.js