rem: ["menubarInFloaters", navigator.platform.indexOf ("Mac") != -1], ["lastErrorMode", "ignore"], ["lastThrowMode", "ignore"] 
add: ["tabWidth", 4] 
context: function initPrefs(){    console.prefManager = new PrefManager("extensions.venkman.");    console.prefs = console.prefManager.prefs;        var prefs =        [         ["maxStringLength", 100],         ["startupCount", 0],         ["enableChromeFilter", true],         ["tabWidth", 4],         ["initialScripts", ""],         ["prettyprint", false],         ["guessContext", 5],         ["guessPattern", "(\\w+)\\s*[:=]\\s*$"],         ["permitStartupHit", true],         ["statusDuration", 5 * 1000],         ["menubarInFloaters", navigator.platform.indexOf ("Mac") != -1],         ["lastErrorMode", "ignore"],         ["lastThrowMode", "ignore"]        ];    console.prefManager.addPrefs(prefs);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0b8cec04bd582c27a41817979fe87561132d01d/venkman-prefs.js/buggy/extensions/venkman/resources/content/venkman-prefs.js