void callback(GtkTextView textview, GtkDirectionType UNKNOWN);