web-dev-qa-db-fra.com

Comment mettre en évidence l'onglet sélectionné dans le terminal

Quelque chose à propos de la palette de couleurs a changé dans 11.04, et maintenant il m'est très difficile de dire quel onglet est celui sélectionné.

enter image description here

Sur mon écran, les couleurs se ressemblent davantage au fur et à mesure que je me couche sur mon fauteuil (angle de vue).

Si je change les couleurs, le problème est résolu, mais cette solution est trop extrême pour moi. Existe-t-il un moyen de changer la couleur de l'onglet sélectionné dans le terminal ou de le rendre plus visible?

UPDATE: Dans 12.10, la solution acceptée ne fonctionne pas. Quelqu'un peut-il résoudre ce problème?

themesgnome-terminal
101
itsadok

Pour les versions 12.10-15.04, vous pouvez créer un thème CSS pour GTK 3.0, comme expliqué dans ce commentaire par Kees (kees-vanveen) sur le rapport de bogue posté ci-dessus par Alessio.

  1. Créez le fichier ~/.config/gtk-3.0/gtk.css

  2. Collez-le comme contenu avec la couleur souhaitée:

    TerminalWindow .notebook tab:active {
    background-color: #def;
}

  3. Fermez toutes les fenêtres du terminal et relancez l'application pour voir le changement.

89
David Harkness

Je ne suis pas un hacker à thème, mais voici une solution rapide:

Créez ou modifiez le fichier ~/.gtkrc-2.0 pour inclure les éléments suivants:

style "gnome_terminal_notebook"
{
  fg[NORMAL] = "#00ff00"
}

widget "*TerminalWindow.*.GtkNotebook*" style "gnome_terminal_notebook"

Cela fera passer la couleur du texte de l'onglet actif en vert. Pas très beau, mais devrait vous donner un début.

Vous pouvez également alléger l'onglet en surbrillance en remplaçant la ligne fg par:

bg[NORMAL] = shade (1.25, "#3c3b37")

L'inconvénient: cela rendra également les frontières intérieures plus lumineuses.

Remarque: cela affectera chaque thème que vous choisissez dans les propriétés d'apparence. N'oubliez donc pas d'annuler ces modifications lorsque vous utilisez un autre thème.

17
htorque

En utilisant le gris chaud d'Ubuntu dans https://design.ubuntu.com/brand/colour-palette , il s'agit d'un petit variation de David:

TerminalWindow .notebook tab {
    background-color: #e2e0dd;
}

TerminalWindow .notebook tab:active {
    background-color: #f2f1f0;
}

La couleur des autres onglets est légèrement plus sombre.

4
Rodrigo Farias

Vous pouvez pirater le thème et changer les couleurs de cette façon. Je l'ai fait il y a des années lorsqu'un thème que j'aimais par ailleurs ne présentait pas suffisamment de contraste.

Les thèmes installés à l’échelle du système résident dans /usr/share/themes, tandis que vos propres thèmes se trouvent dans ~/.themes. Si le thème que vous modifiez est un thème à l'échelle du système, je suggère de le copier dans ~/.themes et de le renommer avant d'apporter des modifications. Sinon, vos modifications seront écrasées à la prochaine mise à niveau du package responsable de ces fichiers.

1
Scott Severance

Pour Ubuntu 16.04, créez un fichier nommé ~/.config/gtk-3.0/gtk.css et placez-y le texte suivant:

TerminalWindow .notebook tab:active {
    background-color: #b0c0f0;
}

Crédit: http://eli.thegreenplace.net/2014/highlighting-the-active-tab-in-gnome-terminal/

0
krokodil