Comment 46 for bug 762349

@mar-castelluccio - yes and no. Terminal uses it's own Gtk Notebook widget (tabbed interface) so the styling fixes don't apply cleanly to Gedit which uses the "normal" Notebook which is shared across all other tabbed interface components. If & when we move to Gtk 3.20 then there are a whole load of theme fixes needed so the generic Notebook will get a fix at the same time. Until then we probably won't fix generic tabs such as used in Gedit. If someone would like to work on it, then patches would be very welcome.