Bug#785765: [gnome-terminal] high-contrast gtk+ theme causes window to resize when hovering tab-close buttons

[Egmont Koblinger]

Duplicate of bug 765877?

e.