On 11/7/2020 3:31 PM, Pablo Rodriguez wrote:
On 11/7/20 1:29 PM, Hans Hagen wrote:
[...]
Many thanks for your in-depth explanation, Hans.
This sample triggers the error:
\appendtoks \unexpanded\def\doverbatimspace{\char32\hskip\zeropoint}% \to \everyenableelements
\setuptagging[state=start]
\starttext \starttyping mtxrunjit --generate \stoptyping
\startitemize[n] \startitem a\stopitem \stopitemize \stoptext
I have no idea why.
because \doverbatimspace is defined in a way that will look ahead \unexpanded\def\doverbatimspace{\char32\hskip\zeropoint\relax} so \starttyping plus 10pt --generate \stoptyping probably makes the "plus 10pt" disappear ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------