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