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