rem: function pm_addpref(prefName, defaultValue, setter) 
add: function pm_addpref(prefName, defaultValue, setter, bundle) 
context: function pm_addpref(prefName, defaultValue, setter){    var prefManager = this;    function updateArrayPref() { prefManager.updateArrayPref(prefName); };    function prefGetter() { return prefManager.getPref(prefName); };    function prefSetter(value) { return prefManager.setPref(prefName, value); };    if (!ASSERT(!(prefName in this.defaultValues),                "Preference already exists: " + prefName))    {        return;    }        if (!setter)        setter = prefSetter;        if (defaultValue instanceof Array)        defaultValue.update = updateArrayPref;    this.prefRecords[prefName] = {defaultValue: defaultValue, realValue: null};    this.prefNames.push(prefName);    this.prefNames.sort();    this.prefs.__defineGetter__(prefName, prefGetter);    this.prefs.__defineSetter__(prefName, setter);}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/a2db50be8eafa89a9b420f267c3f821b59cdec10/pref-manager.js/clean/js/lib/pref-manager.js