Я использую Gnome 2.30.2 и Gnome Terminal 3.0.1 на моем Debian Sid, и недавно активная вкладка стала почти неотличимой от других вкладок. Это на самом деле тот же цвет. Изменение тем не сильно помогло, и только использование высококонтрастной темы имеет значение, и эту тему я бы не использовал.
Экспериментировал со сценарием ~/.gtkrc-2.0, но, похоже, он вообще не работает даже после перезапуска X-Server.
style "gnome_terminal_notebook"
{
#fg[NORMAL] = "#00ff00"
bg[NORMAL] = shade (1.25, "#3c3b37")
}
widget "*TerminalWindow.*.GtkNotebook*" style "gnome_terminal_notebook"
Кто-нибудь может пролить свет на то, как сделать активную вкладку более различимой?