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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/202419b0d1c168ccb9086e1f6275b2bfdd3169de/preferences.js/buggy/minimo/chrome/content/preferences/preferences.js