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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
