- From: Jean-Marc Vanel <jeanmarc.vanel@gmail.com>
- Date: Wed, 11 May 2011 22:54:03 +0200
- To: www-amaya-dev@w3.org
I found the recipe to recover the top menu bar with Ubuntu 11.04 Classic ( i.e. Gnome ) : launch like this : UBUNTU_MENUPROXY= amaya & 2011/5/5 Jean-Marc Vanel <jeanmarc.vanel@gmail.com>: > 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éductions 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 ) > -- Jean-Marc Vanel Déductions 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 )
Received on Wednesday, 11 May 2011 21:00:46 UTC