J'utilise Gnome 2.30.2 et Gnome Terminal 3.0.1 sur mon Debian Sid et récemment l'onglet actif est devenu presque impossible à distinguer des autres onglets. C'est en fait la même couleur. Changer les thèmes n'a pas beaucoup aidé et utiliser uniquement un thème à contraste élevé fait une différence qui est le thème que je préfère ne pas utiliser.
J'ai expérimenté le script ~ / .gtkrc-2.0 mais cela ne semble pas fonctionner du tout même après le redémarrage de X-Server.
style "gnome_terminal_notebook"
{
#fg[NORMAL] = "#00ff00"
bg[NORMAL] = shade (1.25, "#3c3b37")
}
widget "*TerminalWindow.*.GtkNotebook*" style "gnome_terminal_notebook"
Quelqu'un peut-il nous éclairer sur la façon de rendre l'onglet actif plus distinctif?