4
Il est assez facile de définir la police par défaut pour un GtkTextView via gtk_widget_modify_font()
, mais comment obtenir lequel est en cours? (Je n'utilise aucune étiquette dans le widget.)Comment obtenir une police actuelle pour GtkTextView?