Re: unable to edit gnome menus

[Erik Romijn <erik toltech nl>]

On Thu, 2004-11-25 at 11:33 +0100, Erik Romijn wrote:
> On Tue, 2004-11-23 at 11:50 +0100, Erik Romijn wrote:
> > As there seems to be no other solution, we have decided that I will
> > write a small program that will modify the gnome menu entries
> > in /etc/gnome-vfs-2.0, /usr/share/gnome/apps
> > and /usr/share/applications.
> > 
> > This will be released under GPL so anyone is free to modify or improve
> > it. I'll send a release note to the list once I have something up and
> > running.
> 
> What I forgot to ask - are there other people on the list that would
> like to contribute to a tool like this?

Sorry, but after discussing this subject here we decided not to make a
menu editor as it is not needed anymore.

greets,
Erik