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

[Egmont Koblinger]

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