Jean Abou Samra <j...@abou-samra.fr> writes: > Le 14/01/2023 à 22:10, David Kastrup a écrit : >> What should it be? > > > I have no idea. My own gut feeling is that output defs need a redesign > and reimplementation from scratch anyway. In an ideal world, we wouldn't > even have the paper/layout/midi distinction.
I don't see that. layout/midi are different output media. paper has some overarching information (like base file names). It also contains some information pertinent to typesetting a whole document as opposed to single scores, like paper dimensions. Things like staff sizes are a whole lot murkier, and developers have been scratching their head about making things like layout-set-staff-size work in a sensible manner, if at all. -- David Kastrup