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