rem: console.sourceView.displaySource(this.parentRecord); console.sourceView.scrollTo (this.baseLineNumber - 2, -1); console.highlightFile = this.script.fileName; console.highlightStart = this.baseLineNumber - 1; console.highlightEnd = this.baseLineNumber - 1 + this.lineExtent; console.sourceView.outliner.invalidate(); 
add: console.sourceView.setCurrentSourceProvider(this); if (!console.sourceView.prettyPrint) { console.highlightFile = this.parentRecord.fileName; console.highlightStart = this.baseLineNumber - 1; console.highlightEnd = this.baseLineNumber + this.lineExtent - 2; console.sourceView.scrollTo (this.baseLineNumber - 2, -1); console.sourceView.outliner.invalidate(); } else { delete console.highlightFile; delete console.highlightStart; delete console.highlightEnd; } 
context: function sr_makecur (){    console.sourceView.displaySource(this.parentRecord);    console.sourceView.scrollTo (this.baseLineNumber - 2, -1);    console.highlightFile = this.script.fileName;    console.highlightStart = this.baseLineNumber - 1;    console.highlightEnd = this.baseLineNumber - 1 + this.lineExtent;    console.sourceView.outliner.invalidate();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/64f0128f805d7f7a53819c408a30c765aa23f1fc/venkman-outliners.js/buggy/extensions/venkman/resources/content/venkman-outliners.js