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