Sto eseguendo Gnome 2.30.2 e Gnome Terminal 3.0.1 sul mio Debian Sid e recentemente la scheda attiva è diventata quasi indistinguibile dalle altre schede. In realtà è lo stesso colore. Cambiare i temi non ha aiutato molto e usare solo un tema ad alto contrasto fa la differenza che è il tema che preferirei non usare.
Ho sperimentato lo script ~ / .gtkrc-2.0 ma sembra che non funzioni affatto anche dopo aver riavviato X-Server.
style "gnome_terminal_notebook"
{
#fg[NORMAL] = "#00ff00"
bg[NORMAL] = shade (1.25, "#3c3b37")
}
widget "*TerminalWindow.*.GtkNotebook*" style "gnome_terminal_notebook"
Qualcuno può fare luce su come rendere la scheda attiva più distinguibile?