VALA: אם רציתם להוסיף טקסט ל-TextView אז...

אין פונקצייה אחת שישר מוסיפה טקסט לטקסט שכבר קיים ב Widget מסוג TextView, אבל זאת פונקצייה לדוגמא שעושה את העבודה:

public static void GtkTextviewAppend(Widget textview, string text)
{
TextIter ei;
Gtk.TextBuffer tbuffer = ((TextView)textview).get_buffer();
tbuffer.get_end_iter(out ei);
tbuffer.insert(ei, text, -1);
}