web-dev-qa-db-fra.com

Réduisez la hauteur de la barre de titre des applications sans changer de thème sous Ubuntu 18.04

example

Comment puis-je diminuer la hauteur de la barre de titre des applications sans changer de thème?

18.04gtktitlebar
5
vv0iadyk

Ce qui précède n'a pas fonctionné pour moi ... mais j'ai obtenu de bons résultats avec les éléments suivants dans mon fichier ~/.config/gtk-3.0/gtk.css:

 /*
 * Reduce height of window header (title?) bars.
 * Seems enough to specify padding, no need to repeat
 *   padding-left padding-right padding-top padding-bottom
 * nor it seems necessary to even mention
 *   margin-top margin-bottom
 */

.default-decoration {
    min-height: 0px;
    padding: 3px;
}

.default-decoration .titlebutton {
    min-height: 0px;
    padding: 0px;
}
3
Paul Szabo

En supposant que vous utilisez Gnome 3 -

  1. Ouvrez ou créez le fichier: ~/.config/gtk-3.0/gtk.css (~ est l'emplacement de base de votre utilisateur actuel. Par exemple, si votre utilisateur est demo, alors ~ représenterait \home\demo

  2. Ajouter le CSS suivant au fichier

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

headerbar {    
    min-height: 24px;    
    padding-left: 2px; /* same as childrens vertical margins for nicer proportions */    
    padding-right: 2px;    
    margin: 0px; /* same as headerbar side padding for nicer proportions */    
    padding: 0px;    
}

  3. Exécutez ALT+F2 et entrez la lettre 'r' dans la boîte de dialogue qui s'affiche, puis appuyez sur Entrée pour actualiser le style.

Pour plus d'informations, reportez-vous à la solution d'origine fournie par Unix Stackexchange: https://unix.stackexchange.com/questions/276951/how-to-change-the-titlebar-height-in-standard-gtk-apps- et-ceux-avec-headerbars? utm_medium = organique & utm_source = google_rich_qa & utm_campaign = google_rich_qa

1
R.S