Small text editor in C#/GTK