Fonds Linux
  1. Fonds Linux
  3. Réduire la hauteur de la barre de titre dans gnome 3 / gtk + 3
Intereting Posts
Comment résoudre le problème de gestionnaire de windows dans Linux Mint 14 Xfce après l'installation de LXDE? Comment faire que scp respecte umask atd, batch // Réglage du facteur de limitation de charge Existe-t-il un moyen d'append un directory à mon PATH dans zsh uniquement s'il n'est pas déjà présent? Exécuter les commands en parallèle et attendre qu'un groupe de commands se termine avant de commencer la suivante Comment vérifier si le transfert de port est activé? Quelle est la différence entre -j DROP et -j STEAL? Comment connaître le "niveau" des coquilles dans lesquelles je suis? Utilise xargs plus vite que ne pas l'utiliser? Trier datatables par ordre décroissant de la première colonne, pour des valeurs égales, utiliser la deuxième colonne dans l'ordre croissant comment vérifier ce qui est dans swap? Les clients CUPS doivent-ils avoir des PPD installés localement? Impossible de find les files postgresql.conf & pg_hba.conf dans mon installation postgresql Quel est le dernier caractère d'un file? Utilisation de localectl sur Arch, Impossible d'émettre un appel de méthode: données de parameters régionaux non valides

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

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

Des idées ?

Pour réduire la taille de la barre de titre, créez simplement un file css à cet location: ~/.config/gtk-3.0/gtk.css et copyz le code ci-dessous; cela va resize 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 append ce code (sur le même file) 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 r dans la zone qui apparaît et appuyez sur Entrée pour recharger le shell gnome.

Et tu es bon d'y aller 🙂

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

Vous pouvez mettre le contenu suivant 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

Pour maximiser les windows, je peux vous reorder cette Extension Gnome Shell appelée Pixel Saver par un gars deadalnix . La barre de titre disparaît (plus d'espace pour les users de portables), mais vous pouvez toujours voir le titre de la window dans la barre d'activité noire.

entrer la description de l'image ici

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

Outil Gnome Tweak

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

Ensuite, définissez la hauteur du text pour les titres de windows sur un nombre aussi bas que vous le souhaitez.

Sélection des polices de titres