rem: if (console.sourceView.prettyPrint) 
add: if (console.prefs["prettyprint"]) 
context: function cmdStep(){    setStopState(true);    var topFrame = console.frames[0];    console._stepPast = topFrame.script.fileName;    if (console.sourceView.prettyPrint)    {        console._stepPast +=            topFrame.script.pcToLine(topFrame.pc, PCMAP_PRETTYPRINT);    }    else    {        console._stepPast += topFrame.line;    }    disableDebugCommands()    console.stackView.saveState();    console.jsds.exitNestedEventLoop();    return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-commands.js/clean/extensions/venkman/resources/content/venkman-commands.js