Thank you very much for the tips and pointers. Here is a link to upstream bug: https://bugzilla.xfce.org/show_bug.cgi?id=12796 And here are more workarounds: https://forum.xfce.org/viewtopic.php?id=11224
https://www.reddit.com/r/gnome/comments/4e9s4d/size_of_tabs_in_gnometerminal/ On Mon, Dec 12, 2016 at 8:51 AM, Yves-Alexis Perez <cor...@debian.org> wrote: > On Sun, 2016-12-11 at 21:10 +0100, Petr Gregor wrote: > > Dear Maintainer, > > after upgrade the tabs on top of xfce4-terminal increased height. There > > is a lot of wasted screen space. I tried to find a setting that would > > change this new behaviour but was unsuccessful. > > The tab height is controlled by the theme. 0.6.3 used GTK-2 and thus GTK-2 > theme, while 0.8+ uses GTK-3 and thus the GTK-3 theme. You might want to > check > which theme you're using and reassign there. > > Regards, > -- > Yves-Alexis
