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

aliopi
la 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
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 (:
*/

Fonctionne pour Ubuntu 18.04 avec gnome-session-flashback

D. Smirnov
la source

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

Réponses: