add:  if (label == prefName) dd("WARNING: !!! Preference without label: " + prefName); if (help == MSG_NO_HELP) dd("WARNING: Preference without help text: " + prefName);  
context: function pm_addpref(prefName, defaultValue, setter, bundle){    var prefManager = this;    if (!bundle)        bundle = this.defaultBundle;    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;    var label = getMsgFrom(bundle, "pref." + prefName + ".label", null, name);    var help  = getMsgFrom(bundle, "pref." + prefName + ".help", null,                            MSG_NO_HELP);    this.prefRecords[prefName] = new PrefRecord (prefName, defaultValue,                                                  label, help);    this.prefNames.push(prefName);    this.prefNames.sort();    this.prefs.__defineGetter__(prefName, prefGetter);    this.prefs.__defineSetter__(prefName, setter);}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/ab5d51d260afadac9132b483c4bb3c57bb553754/pref-manager.js/clean/js/lib/pref-manager.js