<div dir="ltr">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.<br></div>