Bug#685487: Reproduce gnome-terminal issue at home

[Simon Waters]

On home system running GNOME classic and CRUX theme, could not reproduce
so make it more like my work machine...

apt-get install gnome-themes
Use "Advanced Settings" to choose "Clearlooks" as the Window theme and
immediately I can reproduce the problem.

Reproduced with window themes "Adwaita", "Almond", "Clearlooks",
"Clearlooksclassic", "Esco" (only hovering on the window controls - not
switching tabs"), "Glider" (ditto controls), "Glossy"

Not reproduced with "AgingGorilla",  "AlphaCube 0.9b", "Atlanta",
"Bright", "Crux".

Gave up checking at Glossy.In some themes the breakage is quite small
(1px grey border on left hand edge appearing when hovering over minimize
button when the gnome-terminal window is maximized), but all should show
the issue.

A quick look at the XML for the themes, and it looks like Esco, and
Glossy do more complex things with the minimize button prelight. Where
as Crux changes the graphic for another. But not familiar enough with
GNOME themes to say what precisely is causing trouble, or whether it is
the application or a bug in a selection of themes, or the window manager.