<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'>Package: gnome-terminal<div>Version: 3.14.0-1</div><div><br></div><div>gnome terminal decreases size by one row every time the mouse hovers over the close tab button.</div><div><br></div><div>I've recorded a video: <a href="http://youtu.be/ztTVbTNXPHM" target="_blank" style="font-size: 12pt;">http://youtu.be/ztTVbTNXPHM</a></div><div><br></div><div>Debian GNU/Linux jessie/sid</div><div>Linux workstation 3.16-2-amd64 #1 SMP Debian 3.16.3-2 (2014-09-20) x86_64 GNU/Linux</div> </div></body>
</html>