rem: } 
add: }; 
context:     function prefSetter (value)    {        try        {            if (typeof defaultValue == "boolean")            {                prefManager.prefBranch.setBoolPref(prefName, value);            }            else if (typeof defaultValue == "number")            {                prefManager.prefBranch.setIntPref(prefName, value);            }            else if (defaultValue instanceof Array)            {                var ary = new Array();                for (i = 0; i < value.length; ++i)                    ary[i] = encode(value[i]);                                prefManager.prefBranch.setCharPref(prefName, ary.join("; "));            }            else            {                prefManager.prefBranch.setCharPref(prefName, value);            }            prefManager.prefService.savePrefFile(null);        }        catch (ex)        {            dd ("caught exception writing pref ``" + prefName + "''\n" + ex);        }        return value;    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0b8cec04bd582c27a41817979fe87561132d01d/pref-manager.js/clean/extensions/venkman/resources/content/pref-manager.js