The impact is low enough. I'd say go for it. -- Shaun
On Fri, 2005-02-18 at 09:39 -0500, Luis Villa wrote: > 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 > > > _______________________________________________ > 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
