Hi.

For several weeks, I've been annoyed by some presentation/appearance annoyance in gnome-terminal, where active tab is no longer "highlighted" in a sufficient way from others.

There used to be a kind of blue line (colour depending on preferences, most probably) above the tab of the active one, whereas now, it's only slightly taller than the other ones, without any clearly noticeable highlight, IMHO.

Maybe this is a more general issue linked to GTK or Gnome, but I only suffer from it inside Gnome-terminal. I couldn't find a kind of preference dialog to try and adjust this.

Thanks in advance.

Best regards,

    Previously I think I had worked around it by using the Adwaita theme
instead of Clearlooks, which rendered the tabs with a diagonal line
on the left hand side and (I believe) highlighted the tab with the
current focus but that no longer works and I have no idea
which component changed to cause the failure.  The transition
to Gnome/GTK 3 seems to be breaking things along the way.