rem: console._sourceOutlinerView.outliner.scrollToRow(lineNumber - 1); 
add: console._sourceTreeView.tree.scrollToRow(lineNumber - 1); 
context: function scrollSourceLineTop (url, lineNumber){    focusSource(url);    if (toTop)        console._sourceOutlinerView.outliner.scrollToRow(lineNumber - 1);    else        console._sourceOutlinerView.centerLine(lineNumber - 1);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/07d96867f11683becf5e1a6ca5e64e6a9324c957/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js