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,
|
2003-03-16 00:08:18 +00:00
|
|
|
System.Text.Encoding.UTF8.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;
|
|
|
|
}
|
2003-07-12 04:09:00 +00:00
|
|
|
|
|
|
|
// overload to paste clipboard contents at cursor editable by default.
|
|
|
|
[DllImport("libgtk-win32-2.0-0.dll")]
|
|
|
|
static extern void gtk_text_buffer_paste_clipboard (IntPtr raw, IntPtr clip, IntPtr iter, bool default_edit);
|
|
|
|
public void PasteClipboard (Gtk.Clipboard clipboard)
|
|
|
|
{
|
|
|
|
gtk_text_buffer_paste_clipboard(Handle, clipboard.Handle, IntPtr.Zero, true);
|
|
|
|
}
|
|
|
|
|