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é.

Sur mon écran, les couleurs se ressemblent davantage au fur et à mesure que je me couche dans 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?

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

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

1. Créer 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.

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

Créez ou modifiez le fichier ~/.gtkrc-2.0pour 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.

En utilisant le gris chaud d'Ubuntu dans https://design.ubuntu.com/brand/colour-palette , voici une petite variante de celle 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.

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 dans l’ensemble du système y vivent /usr/share/themes, alors que vos propres thèmes y vivent ~/.themes. Si le thème que vous modifiez est un thème à l'échelle du système, je suggère de le copier ~/.themeset de le renommer avant d'apporter des modifications. Sinon, vos modifications seront écrasées à la prochaine mise à niveau du package responsable de ces fichiers.

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/