Estou executando o Gnome 2.30.2 e o Gnome Terminal 3.0.1 no meu Debian Sid e, recentemente, a guia ativa tornou-se quase indistinguível de outras guias. Na verdade, é da mesma cor. Alterar os temas não ajudou muito e apenas usar o tema de alto contraste faz a diferença, que é o tema que eu preferiria não usar.
Estão testando o script ~ / .gtkrc-2.0, mas isso parece não funcionar mesmo após a reinicialização do X-Server.
style "gnome_terminal_notebook"
{
#fg[NORMAL] = "#00ff00"
bg[NORMAL] = shade (1.25, "#3c3b37")
}
widget "*TerminalWindow.*.GtkNotebook*" style "gnome_terminal_notebook"
Alguém pode esclarecer como tornar a guia ativa mais distinta?