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