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,
|
2003-03-16 01:08:18 +01:00
|
|
|
System.Text.Encoding.UTF8.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
|
|
|
|
2003-07-12 06:09:00 +02:00
|
|
|
// overload to paste clipboard contents at cursor editable by default.
|
2004-01-27 22:01:08 +01: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 06:09:00 +02:00
|
|
|
public void PasteClipboard (Gtk.Clipboard clipboard)
|
|
|
|
{
|
|
|
|
gtk_text_buffer_paste_clipboard(Handle, clipboard.Handle, IntPtr.Zero, true);
|
|
|
|
}
|
|
|
|
|
2004-02-23 18:43:13 +01:00
|
|
|
public void InsertWithTags (TextIter iter, string text, params TextTag[] tags)
|
2004-02-20 00:18:43 +01:00
|
|
|
{
|
2004-02-23 18:43:13 +01:00
|
|
|
TextIter start;
|
|
|
|
int offset = iter.Offset;
|
|
|
|
Insert (iter, text);
|
|
|
|
|
|
|
|
start = GetIterAtOffset (offset);
|
|
|
|
iter = GetIterAtOffset (offset + text.Length);
|
2004-02-20 00:18:43 +01:00
|
|
|
|
|
|
|
foreach (TextTag t in tags)
|
2004-02-23 18:43:13 +01:00
|
|
|
this.ApplyTag (t, start, iter);
|
2004-02-20 00:18:43 +01:00
|
|
|
}
|
|
|
|
|