rem: console._sourceOutlinerView.outliner.getFirstVisibleRow(); 
add: console._sourceTreeView.tree.getFirstVisibleRow(); 
context: function setCurrentSource (url, line){    var fileRec = console.scripts[url];    ASSERT (fileRec, "Attempt to focus unknown source: " + url);    var lastFile = console._sourceOutlinerView.url    if (lastFile)    {        var lastFileRec = console.scripts[lastFile];        if (lastFileRec)        {            lastFileRec.lastLine =                 console._sourceOutlinerView.outliner.getFirstVisibleRow();        }    }        console._sourceOutlinerView.setSourceArray(fileRec.source, url);    var hdr = document.getElementById("source-line-text");    hdr.setAttribute ("label", url);    hdr = document.getElementById("source-line-number");    hdr.setAttribute ("label", "");    }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d38a0937d9c93a0a9d913e2ac781e4328bb8cc73/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js