This is on Ubuntu Linux 12.04 (Screenshot attached)On Wed, 10 Jul 2013, Ignacio Diaz-Emparanza wrote:From some time ago, the Gretl help menu has a very rare structure, with two elements (1 and 4) with exactly the same name "_Command reference", and aspect. The elements 3, 4, and 5 some time ago had pdf icons, so 1, and 4 were a litle bit different, but now they all show the gretl icon. I think the names and the icons should be changed.What platform is this on? Gretl explicitly calls for its built-in PDF icon to be shown next to the PDF files under the Help menu. I guess some over-zealous desktop/theming software is overruling this. I'm seeing the PDF icons OK on Fedora/Xfce. Perhaps you could send a screenshot of what you're seeing?
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.
|