void LoadFile(CoverageView.ClassItem klass) { int[] coverage = klass.Model.sourceFile.Coverage; StreamReader infile = new StreamReader(klass.Model.sourceFile.sourceFile); int pos = 1; while (infile.Peek() > -1) { TextIter end = text_buffer.EndIter; text_buffer.Insert(ref end, String.Format("{0, 6} {1}\n", pos, infile.ReadLine())); if (pos < coverage.Length) { int count = coverage [pos]; TextIter text_end = text_buffer.EndIter; TextIter text_start = text_end; text_start.BackwardLines(1); if (count > 0) { text_buffer.ApplyTag(hit_color, text_start, text_end); } else if (count == 0) { text_buffer.ApplyTag(missed_color, text_start, text_end); } } pos++; } }