    scrollToLine: function(line, offset)    {        this.startMeasuring(this.input);        var lineHeight = this.measureText().height;        this.stopMeasuring();                this.input.scrollTop = (line * lineHeight) + offset;    }
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/css.js/buggy/extension/content/firebug/css.js