public TextRange(Gtk.TextIter start,
Gtk.TextIter end)
{
if (start.Buffer != end.Buffer)
{
throw new Exception("Start buffer and end buffer do not match");
}
buffer = start.Buffer;
start_mark = buffer.CreateMark(null, start, true);
end_mark = buffer.CreateMark(null, end, true);
}
public TextTagEnumerator(Gtk.TextBuffer buffer, Gtk.TextTag tag)
{
this.buffer = buffer;
this.tag = tag;
this.mark = buffer.CreateMark(null, buffer.StartIter, true);
this.range = new TextRange(buffer.StartIter, buffer.StartIter);
}
