Re: trouble with Ubuntu 10.04 : the top menu bar disappeared

I found the recipe to recover the top menu bar with Ubuntu 11.04
Classic ( i.e. Gnome ) : launch like this :

UBUNTU_MENUPROXY=3D amaya &


2011/5/5 Jean-Marc Vanel <[email protected]>:
> Hi
>
> The title says it all .
> This is annoying, because several features , like table of contents
> generation, are only available through this top menu.
> This is of course with Amaya 13.3.1 .
>
> % uname -a
> Linux jmv-desktop 2.6.38-8-generic #42-Ubuntu SMP Mon Apr 11 03:31:24 UTC
> 2011 x86_64 x86_64 x86_64 GNU/Linux
>
> --
> Jean-Marc Vanel
> D=E9ductions SARL - Consulting, services, training,
> Rule-based programming, Semantic Web
> http://jmvanel.free.fr/ - EulerGUI, a turntable GUI for Semantic Web +
> rules, XML, UML, eCore, Java bytecode
> +33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
> ( we rarely listen to voice messages, please send a mail instead )
>



--=20
Jean-Marc Vanel
D=E9ductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/ - EulerGUI, a turntable GUI for Semantic Web +
rules, XML, UML, eCore, Java bytecode
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )