2002-11-29 19:08:54 +01:00
|
|
|
public string Text {
|
|
|
|
get {
|
|
|
|
return GetText (StartIter, EndIter, false);
|
|
|
|
}
|
2002-08-25 07:49:38 +02:00
|
|
|
|
2002-11-29 19:08:54 +01:00
|
|
|
set {
|
2003-03-15 23:19:47 +01:00
|
|
|
gtk_text_buffer_set_text (Handle, value,
|
|
|
|
System.Text.Encoding.Default.GetByteCount(value));
|
2002-11-29 19:08:54 +01:00
|
|
|
}
|
2002-08-25 07:49:38 +02:00
|
|
|
}
|
2003-01-06 00:48:45 +01:00
|
|
|
|
|
|
|
public void Clear ()
|
|
|
|
{
|
|
|
|
Delete (StartIter, EndIter);
|
|
|
|
}
|
2003-02-27 06:41:32 +01: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;
|
|
|
|
}
|