rem: var prefs = Components.classes["@mozilla.org/preferences-service;1"]. getService(Components.interfaces.nsIPrefService); var branch = prefs.getBranch("extensions."+MYSTRING+"."); var refresh = branch.getIntPref("refresh"); 
add: var refresh = that.preferences.data.refresh; 
context:   that.getRefresh = function() {    var prefs = Components.classes["@mozilla.org/preferences-service;1"].      getService(Components.interfaces.nsIPrefService);    var branch = prefs.getBranch("extensions."+MYSTRING+".");    var refresh = branch.getIntPref("refresh");    var retval = Math.round((1000*refresh) + (1000*Math.random()));    that.debug('refresh in',retval);    return retval;  };
meta: 4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4040/facd4869ff3b083d21afb437ee474592eec22518/itsalltext.js/buggy/chrome/content/itsalltext.js