Comment changer la hauteur de la barre de titre dans les applications GTK standard et celles avec des barres d’entête / CSD sur Gnome 3.20
Dans Gnome 3.18, il était possible de changer la hauteur de la barre de titre de toutes les fenêtres en modifiant le css ~/.config/gtk-3.0/gtk.csscomme indiqué dans Réduire la hauteur de la barre de titre dans gnome 3 / gtk + 3 . .header-bar.default-decoration { padding-top: 0px; padding-bottom:...