web-dev-qa-db-fra.com

Gnome Terminal Ajuster la hauteur de l'onglet

J'utilise Ubuntu Gnome 16.04 sur un ordinateur portable en basse résolution (1366x768). J'ai été capable d'ajuster la plupart des choses dans Gnome pour qu'elles aient l'air beaucoup mieux sur cet affichage, mais les onglets gnome-terminal semblent m'échapper. J'aimerais pouvoir réduire un peu la hauteur des pixels pour qu'elle ne soit pas aussi moche (je parie que ça a l'air génial dans un affichage haute résolution) ...

J'imagine que quelque chose pourrait être ajouté à ~/.config/gtk-3.0/gtk.css, comme je devais le faire pour la barre de titre - mais je ne sais pas ce qui se passe avec css, et mon google-fu ne semble pas céder de bons résultats.

command-line16.04gnomegnome-terminalubuntu-gnome
4
Michael Ford

Trouvé une modification de ~/.config/gtk-3.0/gtk.css ici par @Lari Hotari à stackoverflow.

Il ne supprime pas les boutons, mais les rend plus agréables pour un thème sombre et utilise moins d'espace vertical.

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

J'utilise cette personnalisation, fonctionne bien avec un thème sombre (également trouvé dans le lien ci-dessus):

@define-color bg-grey #222;
@define-color active-grey #333;
@define-color border-grey #555;

TerminalWindow .notebook {
   border: 0;
   padding: 0;
   color: #eee;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
   border: 1px solid @border-grey;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab {
   background-color: shade(@bg-grey, 1);
}

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

Ensuite, déconnectez-vous de votre session et reconnectez-vous, le thème devrait prendre effet. ALT + F2 et la saisie de "redémarrage" ne fonctionnent pas pour moi, mais votre kilométrage peut varier.

4
Michael Ford