rem: case "int": this.prefBranch.setIntPref (prefName, value); break;  case "boolean": this.prefBranch.setBoolPref (prefName, value); break;  default: this.prefBranch.setCharPref (prefName, value); break; 
add: dd ("caught exception writing pref ``" + prefName + "''\n" + ex); 
context:     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;    }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/7544d3415d65bb702cb3060dd8ac2a22f009997b/venkman-prefs.js/clean/extensions/venkman/resources/content/venkman-prefs.js