Dans Ubuntu 13.04, j'ai souvent plusieurs onglets ouverts dans gnome-terminal. Le problème est que, même si je peux définir le titre de chaque onglet, il est très difficile de dire quel onglet est actif - la distinction de couleur et de rendu entre l'onglet actif et l'onglet inactif est si subtile qu'il faut étudier la barre d'onglets très soigneusement.
Existe-t-il un moyen de rendre ce contraste plus évident?
gedit
.