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
software.
Allin