void force_call_cb_modified_changed(GtkWidget *view) { cb_modified_changed(GTK_TEXT_VIEW(view)->buffer, view); }
void force_call_cb_modified_changed(GtkWidget *view) { cb_modified_changed(gtk_text_view_get_buffer(GTK_TEXT_VIEW(view)), view); }