I can't comment on the doc implications, but it seems like a useful fix to me and would make the foot menu more useful than it currently is. Luis
On Fri, 18 Feb 2005 14:13:03 +0100 (CET), Vincent Untz <[EMAIL PROTECTED]> wrote: > 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. > _______________________________________________ > desktop-devel-list mailing list > [email protected] > http://mail.gnome.org/mailman/listinfo/desktop-devel-list > _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
