Estoy ejecutando Gnome 2.30.2 y Gnome Terminal 3.0.1 en mi Debian Sid y recientemente la pestaña activa se volvió casi indistinguible de otras pestañas. En realidad es del mismo color. Cambiar los temas no ayudó mucho y solo usar un tema de alto contraste marca la diferencia, que es el tema que preferiría no usar.
He estado experimentando con el script ~ / .gtkrc-2.0, pero parece que no funciona en absoluto, incluso después de reiniciar X-Server.
style "gnome_terminal_notebook"
{
#fg[NORMAL] = "#00ff00"
bg[NORMAL] = shade (1.25, "#3c3b37")
}
widget "*TerminalWindow.*.GtkNotebook*" style "gnome_terminal_notebook"
¿Alguien puede arrojar algo de luz sobre cómo hacer que la pestaña activa sea más distinguible?