    lineIterator: function(sourceText)    {        var maxLineNoChars = (sourceText.lines.length + "").length;        var list = [];                for (var i = 0; i < sourceText.lines.length; ++i)        {            // Make sure all line numbers are the same width (with a fixed-width font)             var lineNo = (i+1) + "";            while (lineNo.length < maxLineNoChars)                lineNo = " " + lineNo;            list.push({lineNo: lineNo, text: sourceText.lines[i]});        }                return list;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/reps.js/buggy/extension/content/firebug/reps.js