void callback(GtkTextBuffer textbuffer);