But now, gedit does not take it into account anymore (neither gnome-terminal but afaik they unfortunately hacked something specific just to workaround the problem locally, and indeed it's now better-looking in that app now).
Does anyone know what's the new css class to style to get *all* gtk tabs look fine ?
In Unbuntu 16.10, the easy fix in ~/.config/ gtk-3.0/ gtk.css does not work anymore.
I used to simply have this in that file :
.notebook tab:active { color: @selected_bg_color;
background-
}
But now, gedit does not take it into account anymore (neither gnome-terminal but afaik they unfortunately hacked something specific just to workaround the problem locally, and indeed it's now better-looking in that app now).
Does anyone know what's the new css class to style to get *all* gtk tabs look fine ?