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.

Reply via email to