rem: var source = console.scripts[currentFrame.script.fileName]; if (source) 
add: var scriptRec = console.scripts[currentFrame.script.fileName]; if (scriptRec) 
context: function con_fchanged (currentFrame, currentFrameIndex){    var stack = console.stackView.stack;        if (currentFrame)    {        var frameRecord = stack.childData[currentFrameIndex];        var vr = frameRecord.calculateVisualRow();        console.stackView.selectedIndex = vr;        console.stackView.scrollTo (vr, 0);        var source = console.scripts[currentFrame.script.fileName];        if (source)        {            console.sourceView.displaySource(source);            console.sourceView.softScrollTo(currentFrame.line);        }        else        {            dd ("frame from unknown source");        }    }    else    {        stack.close();        stack.childData = new Array();        stack.hide();    }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/64f0128f805d7f7a53819c408a30c765aa23f1fc/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js