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

Package:
gnome-terminal
Source:
gnome-terminal
Description:
GNOME terminal emulator application
Submitter:
"P. L."
Date:
2014-11-02 11:18:10 UTC
Severity:
normal
#765877#5
Date:
2014-10-18 21:21:17 UTC
From:
To:
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
#765877#14
Date:
2014-11-02 11:14:37 UTC
From:
To:
I'd argue that this is a bug in your Gnome theme.  The close button
shouldn't change its size on hover.  If it does, weird things are bound to
happen, and I'm not sure if gnome-terminal could (and really don't think it
should) try to do anything to prevent this.