Re: [Gimp-developer] Is Tito worth merging? What should be done with it?

["gespertino gmail com" <gespertino gmail com>]

I'm not using Ubuntu either and I'm not saying it's a problem right
now, but it could be if trends move to a menu like that in different
operating systems.
AFAIK gnome isn't planning a HUD-like feature, but it's moving to a
kind of global menu for certain applications (check the Web
application in Gnome 3.4)
It's not an issue now, but it could be in a near future, so I wanted
to point this out.