rem: sourceView.displaySource (scriptRec); 
add: sourceView.setCurrentSourceProvider (scriptRec); 
context: function con_projsel (e){    if (console.projectView.selectedIndex == -1)        return;        console.scriptsView.selectedIndex = -1;    console.stackView.selectedIndex   = -1;    console.sourceView.selectedIndex  = -1;        var rowIndex = console.projectView.selectedIndex;    if (rowIndex == -1 || rowIndex > console.projectView.rowCount)        return;    var row =        console.projectView.childData.locateChildByVisualRow(rowIndex);    if (!row)    {        ASSERT (0, "bogus row index " + rowIndex);        return;    }    if (row instanceof BPRecord)    {        var scriptRec = console.scripts[row.fileName];        if (!scriptRec)        {            dd ("breakpoint in unknown source");            return;        }                var sourceView = console.sourceView;        sourceView.displaySource (scriptRec);        sourceView.scrollTo (row.line - 3, -1);        if ("childData" in sourceView && sourceView.childData.isLoaded)        {            sourceView.outliner.selection.timedSelect (row.line - 1, 500);        }        else        {            sourceView.pendingSelect = row.line - 1;        }    }    else        dd ("not a bp record");}
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