Re: fixed PDF-options Was: Changeset 20707

[Pavel Sanda]

> see the UI-bug that I can't see the optional arguments field  in the 
> hyperref dialog.

which makes me wonder why LaTeXUi.ui with basically the same vertical size
does work for you. there are added spacers (have no idea what they are for).

pavel