<div dir="ltr">Thank you very much for the tips and pointers.<div><br></div><div>Here is a link to upstream bug: <a href="https://bugzilla.xfce.org/show_bug.cgi?id=12796">https://bugzilla.xfce.org/show_bug.cgi?id=12796</a></div><div>And here are more workarounds: <a href="https://forum.xfce.org/viewtopic.php?id=11224">https://forum.xfce.org/viewtopic.php?id=11224</a> <a href="https://www.reddit.com/r/gnome/comments/4e9s4d/size_of_tabs_in_gnometerminal/">https://www.reddit.com/r/gnome/comments/4e9s4d/size_of_tabs_in_gnometerminal/</a></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 12, 2016 at 8:51 AM, Yves-Alexis Perez <span dir="ltr"><<a href="mailto:corsac@debian.org" target="_blank">corsac@debian.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Sun, 2016-12-11 at 21:10 +0100, Petr Gregor wrote:<br>
> Dear Maintainer,<br>
> after upgrade the tabs on top of xfce4-terminal increased height. There<br>
> is a lot of wasted screen space. I tried to find a setting that would<br>
> change this new behaviour but was unsuccessful.<br>
<br>
</span>The tab height is controlled by the theme. 0.6.3 used GTK-2 and thus GTK-2<br>
theme, while 0.8+ uses GTK-3 and thus the GTK-3 theme. You might want to check<br>
which theme you're using and reassign there.<br>
<br>
Regards,<br>
<span class="HOEnZb"><font color="#888888">--<br>
Yves-Alexis</font></span></blockquote></div><br></div>