Yes, it is there.Thanks for doing the detective work, Ignacio. So I believe we can put this down as a Unity bug -- perhaps in the indicator-appmenu package. This is unfortunate, given the popularity of Ubuntu, but I don't think there's anything we can do about it. I wonder if it's still there in 13.04?
And I wonder if running UBUNTU_MENUPROXY= gretl would help? (Note that there has to be space after the "=", the intent is to remove UBUNTU_MENUPROXY from the environment before running gretl.)
Ignacio Díaz-Emparanza Zuzendaria/Director ignacio.diaz-emparanza@ehu.es 94 6013732 |
||
|
||
ERNE! Baliteke mezu honen
zatiren bat edo mezu osoa legez babestuta egotea. Mezuak
badu bere hartzailea. Okerreko helbidera heldu bada
(helbidea gaizki idatzi, transmisioak huts egin) eman
abisu igorleari, korreo honi erantzunda. Kontuz! Mezua ez
bada zuretzat, ez erabili, ez zabaldu beste inori, ez
kopiatu eta ez baliatu. ¡ATENCIÓN! Este mensaje contiene información privilegiada o confidencial a la que sólo tiene derecho a acceder el destinatario. Si usted lo recibe por error le agradeceríamos que no hiciera uso de la información y que se pusiese en contacto con el remitente.
|