Re: View Output formats submenu (was: HTML export to different formats)

[Jürgen Spitzmüller]

Pavel Sanda wrote:
> eyes need to see the 'pdflatex' string somewhere in the menu to get quick
> orientation and better on a constant place with other formats.

How about appending this to the entry then, as in "View [PDF (pdflatex)]"?

Jürgen