Di Ubuntu 14.04, saya bisa mengatur tampilan terminal gnome dan tab-nya dengan membuat file
/home/$user/.config/gtk-3.0/gtk.css
dan memasukkan kode CSS ke dalamnya misalnya
TerminalWindow .notebook tab.top:active{
padding: 0;
border-image: none;
background-color: #555;
}
[...]
Sekarang di Ubuntu 16.04 ini tidak mempengaruhi penampilan terminal gnome.
Bagaimana saya bisa memodifikasi tampilan terminal gnome di Ubuntu 16.04?
adwaita
. Itu datang pra-dikemas dengan distro GNOME. Secara default, saya menebak Suasana. Suasana di 16.04 masih kuno dan karenanya Anda harus dapat mengedit hal-hal yang tidak seperti masalah Numix yang saya jelaskan. Jika Anda tidak bisa, itu berarti bahwa para GNOME devs memiliki sesuatu yang dikodekan keras :(