Réduisez la hauteur de la barre de titre dans gnome 3 / gtk + 3

19

Je cours gnome 3.18et je voudrais réduire la hauteur de la barre de titre.

Des idées ?

R Philippe
la source

Réponses:

21

Après Gnome 3.20, .header-bar.default-decorationne fonctionne pas.

Vous pouvez mettre le contenu de suivi dans ~/.config/gtk-3.0/gtk.css:

/* shrink headerbars (don't forget semicolons after each property) */
headerbar {
    min-height: 0px;
    padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
    padding-right: 2px;
    background-color: #2d2d2d;
}

headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    margin-top: 0px; /* same as headerbar side padding for nicer proportions */
    margin-bottom: 0px;
}

/* shrink ssd titlebars */
.default-decoration {
    min-height: 0; /* let the entry and button drive the titlebar size */
    padding: 0px;
    background-color: #2d2d2d;
}

.default-decoration .titlebutton {
    min-height: 0px; /* tweak these two props to reduce button size */
    min-width: 0px;
}

window.ssd headerbar.titlebar {
    padding-top: 3px;
    padding-bottom: 3px;
    min-height: 0;
}

window.ssd headerbar.titlebar button.titlebutton {
    padding-top: 3px;
    padding-bottom:3px;
    min-height: 0;
}

via https://ogbe.net/blog/gnome_titles.html

Robert Lu
la source
Je crois qu'il manque un point-virgule sur la ligne 20padding: 0px
Troy Folger
2
Impressionnant! Fonctionne également dans Bionic. Je viens de changer les 3pxvaleurs 1pxet c'est agréable et minimal.
Justin
Pour moi, cela a fait que les boutons de la fenêtre d'extrême droite se sont serrés. Pour résoudre ce problème, j'ai dû remplacer les lignes 13 et 14 ( margin-top, margin-bottom) par simplement margin: 0px;(ce qui implique les quatre margin-*directions).
brandones
1
J'ai également dû ajouter padding-right: 6px;la ligne 31 afin de mettre du rembourrage entre le côté de la barre d'en-tête de la fenêtre et le bouton X "Fermer la fenêtre".
brandones
et similaire après la ligne @brandones que j'ajoute padding-left: 6px, pour ne pas avoir l'icône de certaines applications écrasée au bord.
Christian Herenz
11

Pour réduire la taille de la barre de titre, créez simplement un cssfichier à cet emplacement: ~/.config/gtk-3.0/gtk.csset copiez collez le code ci-dessous; cela redimensionnera la barre de titre:

.header-bar.default-decoration {
        padding-top: 0px;
        padding-bottom: 0px;
    }

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

vous pouvez ajouter ce code (sur le même fichier) pour supprimer la ligne sous la barre de titre pour réduire un peu plus la taille:

/* No line below the title bar */
.ssd .titlebar {
    border-width: 0;
    box-shadow: none;
}

appuyez sur ALT+ F2, tapez rdans la case qui apparaît et appuyez sur Enterpour recharger le gnome shell.

Et vous êtes prêt à partir :)

dreboy
la source
4
Cela ne semble plus fonctionner sur gnome-application dans Gnome 3.20, voir mes questions ici . Avez-vous des idées sur la façon de modifier le CSS pour l'appliquer aux programmes gnome, tels que Nautilus dans 3.20?
joelostblom
2
ne fonctionne plus
Luciano
3

Pour des fenêtres maximisées, je peux recommander cette extension Gnome Shell appelée Pixel Saver par un gars deadalnix . La barre de titre disparaîtra (plus d'espace pour les utilisateurs de bloc-notes), mais vous pouvez toujours voir le titre de la fenêtre dans la barre d'activité noire.

entrez la description de l'image ici

aliopi
la source
0

En fonction de votre distribution Linux et du gestionnaire de package et / ou package, installez Gnome Tweak Tool .

Gnome Tweak Tool

Sélectionnez l' onglet " Polices " dans le menu latéral.

Ensuite, définissez la hauteur du texte pour les titres de fenêtre sur un nombre aussi bas que vous le souhaitez.

Sélection de la police des titres des fenêtres

REMARQUE : cela ne s'applique qu'aux anciennes versions de GNOME

ILMostro_7
la source
Ne change pas la taille de la barre de titre, juste la taille de la police dans la barre de titre donc pas bon.
Dave Moten
Cela s'applique uniquement aux anciennes versions de GNOME. Il n'est pas pertinent pour les versions après 3.20, comme @RobertLu l'a mentionné dans cette réponse .
ILMostro_7
0
.titlebar, headerbar {
    min-height: 0px;
    padding: 0px;
    margin: 0px;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    min-height: 0px;
    padding: 0px;
    margin: 1px;
}
/*
more or less normal
write this in ~\.config\gtk-3.0\gtk.css
use slashes instead of backslashes
slashes just terrifyin my nano (:
*/

mon bureau Fonctionne pour Ubuntu 18.04 avec gnome-session-flashback

D. Smirnov
la source