Control: reassign -1 gnome-themes-standard 3.10.0-1 Control: found -1 3.14.2.2-1 Control: found -1 3.16.2-2 Control: close -1 3.20-1
Hi Ralf, Thanks for your bug report. I'm sorry that it has taken us so long to address it. The problem you reported was not actually a bug in cinnamon per se, but in the default theme used for the controls (Adwaita). This can be verified by simply changing the theme for the controls for one that is not based on Adwaita. This comes from the package gnome-themes-standard. With the machines I have access to, I'm able to reproduce this bug in versions 3.10 and 3.14 of such package. On top of this, your report indicated that you were using version 3.16. In Debian testing, using version 3.20 of the package, the bug is gone. I expect it got fixed either in 3.18 or 3.20. This mail is now reassigning the bug to the other package, and closing it. Thanks for reporting, -- Marga