void callback(GtkTextBuffer textbuffer, XXX UNKNOWN, GtkTextMark UNKNOWN);