2002-11-29 18:08:54 +00:00
|
|
|
public string Text {
|
|
|
|
get {
|
|
|
|
return GetText (StartIter, EndIter, false);
|
|
|
|
}
|
2002-08-25 05:49:38 +00:00
|
|
|
|
2002-11-29 18:08:54 +00:00
|
|
|
set {
|
2003-03-15 22:19:47 +00:00
|
|
|
gtk_text_buffer_set_text (Handle, value,
|
|
|
|
System.Text.Encoding.Default.GetByteCount(value));
|
2002-11-29 18:08:54 +00:00
|
|
|
}
|
2002-08-25 05:49:38 +00:00
|
|
|
}
|
2003-01-05 23:48:45 +00:00
|
|
|
|
|
|
|
public void Clear ()
|
|
|
|
{
|
|
|
|
Delete (StartIter, EndIter);
|
|
|
|
}
|
2003-02-27 05:41:32 +00:00
|
|
|
|
|
|
|
public Gtk.TextIter GetIterAtOffset(int char_offset)
|
|
|
|
{
|
|
|
|
Gtk.TextIter iter;
|
|
|
|
|
|
|
|
gtk_text_buffer_get_iter_at_offset(Handle, out iter, char_offset);
|
|
|
|
|
|
|
|
return iter;
|
|
|
|
}
|