add: console.prefs.prefService = Components.classes[PREF_CTRID].getService(nsIPrefService); console.prefs.prefBranch = console.prefs.prefService.getBranch("extensions.venkman."); console.prefs.prefNames = new Array();  
context: function initPrefs(){    console.prefs = new Object();    //    console.addPref ("input.commandchar", "/");        console.addPref ("sourcetext.tab.width", 4);    console.addPref ("input.history.max", 20);    console.addPref ("input.dtab.time", 500);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/89326cbcdc6feb4eef3ffc00bb488c9640e8dd81/venkman-prefs.js/clean/extensions/venkman/resources/content/venkman-prefs.js