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?
Allin