20 May
2020
20 May
'20
2:46 p.m.
Peter Münster schrieb am 20.05.2020 um 14:01:
On Wed, May 20 2020, Hans Hagen wrote:
[offset=\getdocumentargumentdefault{paperformat_to}{0pt}]
shouldn't that one then become
\setuppaper [offset=\getdocumentargumentdefault{paperformat_print}{0pt}]
Yes, I guess.
I think this is better. \setuppaper [offset=\getdocumentargumentdefault{paperoffset}{0pt}] Wolfgang