rem: /* XXX convert this to get/set wrappers around mozilla pref api */ console.prefs[prefName] = defaultValue; 
add: function prefGetter () { var type = this.prefBranch.getPrefType (prefName);  switch (type) { case nsIPrefBranch.PREF_STRING: return this.prefBranch.getCharPref (prefName);  case nsIPrefBranch.PREF_INT: return this.prefBranch.getIntPref (prefName);  case nsIPrefBranch.PREF_BOOL: return this.prefBranch.getCharPref (prefName);  default: return defaultValue; }  return null; }  function prefSetter (value) { switch (typeof value) { case "int": this.prefBranch.setIntPref (prefName, value); break;  case "boolean": this.prefBranch.setBoolPref (prefName, value); break;  default: this.prefBranch.setCharPref (prefName, value); break; }  this.prefService.savePrefFile(null); return value; }  if (prefName in console.prefs) return;  console.prefs.prefNames.push(prefName); console.prefs.prefNames.sort(); console.prefs.__defineGetter__(prefName, prefGetter); console.prefs.__defineSetter__(prefName, prefSetter); 
context: function con_addpref (prefName, defaultValue){    /* XXX convert this to get/set wrappers around mozilla pref api */    console.prefs[prefName] = defaultValue;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e014e7e6630afe8d70caa7198725aea7c354a0db/venkman-prefs.js/clean/extensions/venkman/resources/content/venkman-prefs.js