Après comme je l'ai précisé précédement pour chaque widget tu vas trouver la description du selecteur css associé, ainsi que les propriétés que tu peux modifier avec le css:
Pour GtkNotebook:
Il n'y a pas besoin de fouiller dans le code de Gnome ou Gtk+ pour modifier le thème, cependant il te sera nécessaire de comprendre comment sont organisés les widgets dans une fenêtre Gtk+ et de savoir les noms des widgets pour pouvoir le faire.
[^] # Re: personnalisable (non, là, je plaisante, en revanche) ha bon
Posté par cedlemo . En réponse à la dépêche GNOME 3.22 Karlsruhe : A Land Far, Far Away. Évalué à 1.
J'ai peut être pas été très clair, en gros le nom des selecteurs css sont les noms des widgets que tu veux modifier, par exemple:
GtkNotebookdevient notebookGtkWindowdevient windowet ainsi de suite.
Pour une liste exhaustive des widgets :
https://developer.gnome.org/gtk3/stable/
Après comme je l'ai précisé précédement pour chaque widget tu vas trouver la description du selecteur css associé, ainsi que les propriétés que tu peux modifier avec le css:
Pour
GtkNotebook:Il n'y a pas besoin de fouiller dans le code de Gnome ou Gtk+ pour modifier le thème, cependant il te sera nécessaire de comprendre comment sont organisés les widgets dans une fenêtre Gtk+ et de savoir les noms des widgets pour pouvoir le faire.