rem: var frame = getCurrentFrame(); var url = frame.script.fileName; var sourceRec = console.scripts[url]; 
add: var frame = setCurrentFrameByIndex(0);  if (type != jsdIExecutionHook.TYPE_INTERRUPTED || console._lastStackDepth != console.frames.length) { display (formatFrame(frame)); }  displaySource (frame.script.fileName, frame.line, (type == jsdIExecutionHook.TYPE_INTERRUPTED) ? 0 : 2);  console._lastStackDepth = console.frames.length;  
context: function con_ondt (){    var frame = getCurrentFrame();    var url = frame.script.fileName;    var sourceRec = console.scripts[url];    enableDebugCommands()}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/50801281f8309f0b6d331f9ed218632bf184d828/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js