Package: gnome-terminalVersion: 3.14.0-1 gnome terminal decreases size by one row every time the mouse hovers over the close tab button. I've recorded a video: http://youtu.be/ztTVbTNXPHM Debian GNU/Linux jessie/sidLinux workstation 3.16-2-amd64 #1 SMP Debian 3.16.3-2 (2014-09-20) x86_64 GNU/Linux
