GNOME Bugzilla – Bug 643204
Rounded corners below the top panel are different from window decorations
Last modified: 2012-10-24 06:44:40 UTC
I really like the new rounded corners below the top panel, but I think they should look like the corners of the window decorations. I'm not actually sure which of the two should be changed, probably the window decoration itself. What do you think?
I assume "different" refers to the radius? Apart from the difference actually matching the mockups[0], increasing the radius of the window decoration is problematic unless we implement anti-aliased window corners[1], and the panel corners end up extremely "subtle" when decreasing their size to match the window decoration. I'll mark the bug for design review, but it's likely to end up WONTFIX ... [0] http://git.gnome.org/browse/gnome-shell-design/plain/mockups/static/normal-windows.png [1] with the risk of spoiling your day - metacity/mutter implements rounded corners by actually cutting out pixels using the XShape extensions. Ugh ...
I don't really disagree with this but we don't really have the flexibility we'd like with window decorations. This bug should probably be filed against mutter or gtk (csd) as improve window decorations :)
(In reply to comment #1) > I assume "different" refers to the radius? Apart from the difference actually > matching the mockups[0], increasing the radius of the window decoration is > problematic unless we implement anti-aliased window corners[1] Anti-aliased window corners have been implemented meanwhile.
We have been using the same radius for a while now.