Auparavant, les barres de titre des fenêtres étaient beaucoup plus minces que sur Ubuntu GNOME 16.04.1 avec GNOME 3.20. Pourquoi est-ce et comment puis-je changer cela? J'ai aimé le look mince que j'ai eu avec le numix-gtk-theme
, mais pour une raison quelconque, je n'ai plus ce look mince. Pas avec n'importe quel thème.
Voici comment il est gras:
Vous voyez cette barre de titre plus grosse parce que vous utilisez Gnome-Shell. Dans Gnome-Shell, les barres de titre du thème Numix sont beaucoup plus grasses que les versions pour Unity.
Vérifiez ces deux images
Pour réduire ce gras, suivez ces étapes
~/.config/gtk-3.0/gtk.css
avec ce contenu.header-bar.default-decoration {
padding-top: 4px;
padding-bottom: 4px;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 4px;
padding-bottom: 4px;
}
/* No line below the title bar */
.ssd .titlebar {
border-width: 2px;
box-shadow: none;
}
Déconnectez-vous et connectez-vous à nouveau.
Une capture d'écran de la session gnome-Shell après modification
Cependant, il a été rapporté que ce Tweak ne fonctionnait parfois pas avec GNOME 3.20. Pour résoudre ce problème, vous aurez peut-être besoin de la solution de cette question
Source: https://unix.stackexchange.com/questions/257163/reduce-title-bar-height-in-gnome-3-gtk-