rem: focusSource (frame.script.fileName, frame.line); 
add: var url = frame.script.fileName;  if (!console._sources[url]) { function loaded () { focusSource (url, frame.line); } loadSource (url, loaded); } else focusSource (url, frame.line);  
context: function con_ondt (){    var frame = getCurrentFrame();    focusSource (frame.script.fileName, frame.line);    console._stackOutlinerView.setStack(console.frames);    console._stackOutlinerView.setCurrentFrame (getCurrentFrameIndex());    enableDebugCommands()}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e7ab8f45ae98afd4b326c0f9a0640df7f3695f58/venkman-handlers.js/clean/extensions/venkman/resources/content/venkman-handlers.js