Am 24.11.2010 20:22, schrieb Allin Cottrell:
On Wed, 24 Nov 2010, Sven Schreiber wrote:
> a UI minor issue:
> In the help menu there are two "command ref" entries
> ("Befehlsdokumentation" in German), only the experienced user knows from
> the icons that one is online help, the other a pdf file...
What platform is this on? There are little icons to distinguish
the two menu items, but these may be suppressed by some desktop
No, as I said, the icons are there, but still...
Actually, it now strikes me that the identical names are even a little
misleading, because the pdf command ref also includes the function ref,
whereas in the built-in versions the two are separated. (Not sure right
now if this is maybe only happening in the German translation, in which
I case I would correct it myself of course.)