web-dev-qa-db-fra.com

Comment réduire la taille de la marge / du remplissage de la barre de titre dans GNOME

J'ai récemment effectué une mise à niveau du 15.04 au 15.10 et je ne crois pas que les marges étaient presque aussi ridicules. Je me demande donc si quelque chose a peut-être été réinitialisé/modifié.

Holy crap look at the size of that fatty?!

Comme vous pouvez le constater, la barre GNOME supérieure est de taille normale et la barre d’onglet de Firefox est également de taille normale. Puis, au milieu, smack dab est la monstruosité d’une barre de titre qui fait environ deux fois la taille qu’elle devrait être.

J'utilise Numix pour le thème GTK + qui n'a jamais semblé aussi gonflé sur aucune autre machine sur laquelle je l'ai utilisé. J'ai essayé de réduire la taille de la police de la barre de titre, mais le problème est la marge/remplissage que je devine et pour laquelle il ne semble pas y avoir de paramètre.

gnome15.10themesgnome-tweak-tool
3
Enigma

Créer ou modifier ~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none; 
     background-image: linear-gradient(to bottom, 
                    shade(@theme_bg_color, 1.05), 
                    shade(@theme_bg_color, 0.99)); 
     box-shadow: inset 0 1px shade(@theme_bg_color, 1.4); 
} 

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
}

Puis redémarrez GNOME Shell avec Alt + F2 et r en tant que commande.

Source : http://jadelinux.com/fedoratips/titlebarheight.html

4
kietnguyen

Créer ou modifier ~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none;
}

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
}

Puis redémarrez GNOME Shell avec Alt + F2 et r en tant que commande.

Les bits supplémentaires omis de cette réponse ont brouillé le thème Numix.

0
Enigma