Size of document settings dialog

[Pavel Sanda]

On Mon, May 08, 2023 at 10:13:56PM +0200, Jean-Marc Lasgouttes wrote:
> Le 08/05/2023 ?? 17:26, Pavel Sanda a écrit :
> >Hi,
> >
> >the document settings dialog quite grew in vertical size for 2.4 mainly due to the
> >formats pane and I think we should shrink it back.
> 
> Why is this called Formats and not Output, BTW?

Right, I fixed that.

> I also think that a subpanel Output Options, with TeX/XHTML/DocBook tabs,
> would work well.

Ok, I added tabs.

Pavel