add: if (gPref.getPrefType(prefName) == gPref.PREF_INT) { gPref.setIntPref(prefName, prefSETValue); }  if (gPref.getPrefType(prefName) == gPref.PREF_BOOL) { gPref.setBoolPref(prefName, prefSETValue); } } 
context: function PrefOkay() {}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/111b754031f26a8a59d47f6e3ae0d45137dc9024/preferences.js/clean/minimo/chrome/content/preferences/preferences.js