Ich verwende Gnome 2.30.2 und Gnome Terminal 3.0.1 auf meinem Debian Sid und seit kurzem ist die aktive Registerkarte fast nicht mehr von anderen Registerkarten zu unterscheiden. Es ist eigentlich die gleiche Farbe. Das Ändern der Themen hat nicht viel geholfen und nur die Verwendung eines kontrastreichen Themas macht einen Unterschied, welches Thema ich lieber nicht verwenden würde.
Ich habe mit dem Skript ~ / .gtkrc-2.0 experimentiert, aber das scheint auch nach dem Neustart von X-Server überhaupt nicht zu funktionieren.
style "gnome_terminal_notebook"
{
#fg[NORMAL] = "#00ff00"
bg[NORMAL] = shade (1.25, "#3c3b37")
}
widget "*TerminalWindow.*.GtkNotebook*" style "gnome_terminal_notebook"
Kann jemand etwas Licht ins Dunkel bringen, wie die aktive Registerkarte unterscheidbarer gemacht werden kann?