Perguntas com a marcação «gnome-terminal»

O GNOME Terminal é um emulador de terminal para o ambiente de área de trabalho GNOME. Entre seus principais recursos estão o suporte a vários perfis, texto colorido, guias, suporte a mouse, detecção de URL, várias personalizações da interface do usuário e opções de compatibilidade.

9
guia ativa indistinguível no terminal gnome

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...