private string ReadLine(StreamReader sr, int i) { string line; var filePos = sourceFileLinePositions[i]; if (filePos < 0) return ""; fs.Seek(filePos, SeekOrigin.Begin); sr.DiscardBufferedData(); line = sr.ReadLine(); return line; }