Re: [Gretl-devel] Gretl help menu

On 10/07/13 16:25, Allin Cottrell wrote: > 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? > This is on Ubuntu Linux 12.04 (Screenshot attached)