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. _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
