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 ?

gnome3 gtk3 window-title

— R Philippe
source

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
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
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.

— aliopi
source

0

En fonction de votre distribution Linux et du gestionnaire de package et / ou package, installez 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.

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

— ILMostro_7
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 (:
*/

Fonctionne pour Ubuntu 18.04 avec gnome-session-flashback

— D. Smirnov
source