W Ubuntu 14.04 mogłem stylizować wygląd terminalu gnome i jego zakładek, tworząc plik
/home/$user/.config/gtk-3.0/gtk.css
i umieszczenie w nim kodu CSS np
TerminalWindow .notebook tab.top:active{
padding: 0;
border-image: none;
background-color: #555;
}
[...]
Teraz w Ubuntu 16.04 nie ma to wpływu na wygląd terminala gnome.
Jak mogę zmienić wygląd terminala gnome na Ubuntu 16.04?
adwaita
. Jest dostarczany z dowolną dystrybucją GNOME. Domyślnie motyw zgaduję Ambiance. Ambiance w 16.04 jest wciąż oldschoolowe, więc powinieneś być w stanie edytować rzeczy po prostu w przeciwieństwie do opisanego przeze mnie numeru Numix. Jeśli nie możesz, oznacza to po prostu, że deweloperzy GNOME coś na stałe zapisali :(