void callback(GtkTextView textview, GtkDeleteType UNKNOWN, int UNKNOWN);