In Ubuntu 13.04, ho spesso più schede aperte in gnome-terminal. Il problema è che, mentre posso impostare il titolo di ogni scheda, è molto difficile dire quale scheda è attiva: il colore e la distinzione di rendering tra la scheda attiva e la scheda inattiva sono così sottili che si deve studiare la barra delle schede molto attentamente.
C'è un modo per rendere più evidente questo contrasto?
gedit
.