Estou usando o 16.04. No terminal do gnome 3.18.13, a cor de todas as abas é similar e não é fácil encontrar rapidamente em qual aba eu estou ...
Existe uma maneira de destacar a guia ativa atual? Obrigado.