In Ubuntu 14.04 konnte ich das Erscheinungsbild des Gnome-Terminals und seiner Registerkarten gestalten, indem ich eine Datei erstellte
/home/$user/.config/gtk-3.0/gtk.css
und CSS Code einfügen, zB
TerminalWindow .notebook tab.top:active{
padding: 0;
border-image: none;
background-color: #555;
}
[...]
Unter Ubuntu 16.04 hat dies keine Auswirkungen auf das Erscheinungsbild des Gnome-Terminals.
Wie kann ich das Erscheinungsbild des Gnome-Terminals unter Ubuntu 16.04 ändern?
adwaita
. Es wird mit jeder GNOME-Distribution ausgeliefert. Standardmäßig schätze ich Ambiance. Ambiance in 16.04 ist immer noch altmodisch und Sie sollten daher in der Lage sein, Dinge zu bearbeiten, die mit dem von mir beschriebenen Numix-Problem einfach nicht zu vergleichen sind. Wenn Sie dies nicht können, bedeutet dies einfach, dass die GNOME-Entwickler etwas fest codiert haben :(