Request for UI freeze breakage

["Vincent Untz" <vincent vuntz net>]

Hi all,

The main menu needs some updates since right now, it's impossible to
have any access to the preferences with it. This has been reported as
bug 163501 [1]

I made a patch [2] to have the same items in the main menu as the
ones in the menu bar. The patch is big since it involves moving a lot
of code, but it is not complex.

You can look at this screenshot [3] to know what it will look like with
the patch.

There shouldn't be any string change.

Is this patch a problem from a documentation point of view? Are there
any concerns about it?

[1] http://bugzilla.gnome.org/show_bug.cgi?id=163501
[2] http://bugzilla.gnome.org/attachment.cgi?id=37621&action=view
[3] http://bugzilla.gnome.org/attachment.cgi?id=37619&action=view

Vincent

-- 
Les gens heureux ne sont pas pressés.