Bug#765877: gnome-terminal decreases size when mouse over close tab button

[P. L.]

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 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20141018/5beed40e/attachment.html>