Menu corners in GTK3 - a Gnome 3.0 thread that isn't about Shell
This is a bit random and, I guess, not much of a conversation-starter, but I have a question about Gnome 3 for those who are using it and know a bit about the mechanics. I know that the theming is now based on CSS, which will massively simplify theming, and I know that regardless of the shell (Classic, Shell, Unity, or a-la-carte implementations of third-party panels like Elementary's Docky and eventually Wingpanel) or window manager (Mutter or Compiz) used, future Gnome distros will be able to take advantage of the new features of GTK 3.0. That bit I get.
Here's where I'm curious: does GTK 3.0 finally support rounded corners for menus and tooltips? For all the talk about Shell and running apps through a browser and so on, this is the one thing I'd have actually expected to see in the next major revision of GTK. KDE has had rounded menus for some time now, and they've been just over the horizon in Gnome for years (even appeared in a mockup for Ubuntu Hardy along with RGBA support.) Will they finally be possible in GTK3?
I know I shouldn't use tildes for decoration, but they always make me feel at home~