Pas évident, il m'a fallu 30 min (google + reddit + SO)
Dans ton ~/.config/gtk-3.0/gtk.css
headerbar{min-height:0px;background-color:rgba(0,0,0,0);}/* backdrop pour les fenetres inactives*/headerbar:backdrop{min-height:0px;background-color:rgba(0,0,0,1);}
Attention, il faudra que tu ajoutes le même genre de règle pour titlebar (c'est la barre de titre classique).
[^] # 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é à 6.
Pas évident, il m'a fallu 30 min (google + reddit + SO)
Dans ton ~/.config/gtk-3.0/gtk.css
Attention, il faudra que tu ajoutes le même genre de règle pour
titlebar(c'est la barre de titre classique).Quelques références :
* https://mail.gnome.org/archives/commits-list/2012-January/msg05067.html
* http://unix.stackexchange.com/questions/276951/how-to-change-the-titlebar-height-in-standard-gtk-apps-and-those-with-headerbars
* https://www.reddit.com/r/gnome/comments/46gplm/does_anyone_know_how_to_decrease_titlebar_height/?sort=old