add: console.addPref ("enableChromeFilter", false); 
context: function initPrefs(){    console.prefs = new Object();    console.prefs.prefService =        Components.classes[PREF_CTRID].getService(nsIPrefService);    console.prefs.prefBranch =         console.prefs.prefService.getBranch("extensions.venkman.");    console.prefs.prefNames = new Array();        //    console.addPref ("input.commandchar", "/");        console.addPref ("sourcetext.tab.width", 4);    console.addPref ("input.history.max", 20);    console.addPref ("input.dtab.time", 500);    console.addPref ("initialScripts", "");    var list = console.prefs.prefBranch.getChildList("extensions.venkman.", {});    for (var p in list)    {        dd ("pref list " + list[p]);        if (!(list[p] in console.prefs))            console.addPref(list[p]);    }                                                 }
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