context: function pm_addprefsd(targetManager, writeThrough){    function deferGet(prefName)    {        return targetManager.getPref(prefName);    };    function deferSet(prefName, value)    {        return targetManager.setPref(prefName, value);    };    var setter = null;        // Make sure we know about pref changes.    targetManager.addObserver(this);        if (writeThrough)        setter = deferSet;        var prefs = targetManager.prefs;        for (var i = 0; i < prefs.length; ++i)        this.addPref(prefs[i], deferGet, setter);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/f5d25c66f7584289878d8059c950d4b8786bb948/pref-manager.js/clean/extensions/irc/js/lib/pref-manager.js