menu editors (was: Re: Building garnome-2.10.0.1: the short take)

[guenther <guenther rudersport de>]

> > >AFAIK there is at least one tool to manage the menu already. But it was
> > >way too late to be included in GNOME 2.10.0. GARNOME may ship it
> > >eventually in future though...
> > 
> > What tool is that?
> 
> I honestly don't know. :-/  I did read some announcement on
> desktop-devel-list and saw a screenshot, but I don't remember.
> 
> Anyway, asking google for "menu editor site:mail.gnome.org" seems to
> return the relevant links. Guys, feel free to use google yourself. ;-)
> 
> 
> These hits look promising, and the latter even seems to be the one I
> remember:
> 
> http://mail.gnome.org/archives/usability/2005-February/msg00187.html
> http://mail.gnome.org/archives/desktop-devel-list/2005-February/msg00425.html

Well, that actually is one of two editors I remember. A couple of
updates and notes:

The one mentioned above does not build without 2 patches against
gnome-menu. Given the scary discussion on bugzilla about this, I'm not
going to build it.


There is another one though. I remember having seen this screenshot very
recently, and that app indeed looks [1] great. Unfortunately this
doesn't seem to run on my machine.

  http://dev.realistanew.com/menu-editor/

It's a python script, which does not run for me. Maybe my Python 2.3.3
simply is too old, cause the developer uses 2.4. He never tested it on
2.3, as he told me.

If anyone gets this app to work on his machine, please let us know.

...guenther


[1] http://dev.realistanew.com/menu-editor/menueditor.png


-- 
char *t="\10pse\0r\0dtu\0  ghno\x4e\xc8\x79\xf4\xab\x51\x8a\x10\xf4\xf4\xc4";
main(){ char h,m=h=*t++,*x=t+2*h,c,i,l=*x,s=0; for (i=0;i<l;i++){ i%8? c<<=1:
(c=*++x); c&128 && (s+=h); if (!(h>>=1)||!t[s+h]){ putchar(t[s]);h=m;s=0; }}}