web-dev-qa-db-fra.com

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

J'exécute gnome3.18 et je voudrais réduire la hauteur de la barre de titre.

Des idées ?

gnome3gtk3window-title
21
R Philippe

Après Gnome 3.20, .header-bar.default-decoration ne 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

22
Robert Lu

Pour réduire la taille de la barre de titre, créez simplement un fichier css à cet emplacement: ~/.config/gtk-3.0/gtk.css et 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;
}

presse ALT + F2, tapez r dans la case qui apparaît et appuyez sur Enter pour recharger le gnome Shell.

Et vous êtes prêt à partir :)

11
dreboy

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.

enter image description here

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

my desktop Fonctionne pour Ubuntu 18.04 avec gnome-session-flashback

1
D. Smirnov

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 Hauteur du texte pour Titres de fenêtre sur un nombre aussi bas que vous le souhaitez.

Window Titles Font Selection

[~ # ~] note [~ # ~] : ceci ne s'applique qu'aux anciennes versions de GNOME

0
ILMostro_7