void callback(GtkTextBuffer textbuffer, GtkTextMark UNKNOWN);