diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-12-21 18:00:37 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-12-21 18:00:37 +0100 |
commit | 36355f3d0c23357fccf2c76b3e9605a41cae519d (patch) | |
tree | 7b2bfa701a21ed8b075deba24112583461706770 /tex/context/base/mkxl/strc-ind.mkxl | |
parent | 8f472c629a996f1c08281198210354a253d7f56b (diff) | |
download | context-36355f3d0c23357fccf2c76b3e9605a41cae519d.tar.gz |
2022-12-21 17:12:00
Diffstat (limited to 'tex/context/base/mkxl/strc-ind.mkxl')
-rw-r--r-- | tex/context/base/mkxl/strc-ind.mkxl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tex/context/base/mkxl/strc-ind.mkxl b/tex/context/base/mkxl/strc-ind.mkxl index 1ba64bbd3..10bd7f468 100644 --- a/tex/context/base/mkxl/strc-ind.mkxl +++ b/tex/context/base/mkxl/strc-ind.mkxl @@ -55,9 +55,9 @@ %D %D \typebuffer \getbuffer -\newcount\c_strc_indentedtexts_nesting -\newdimen\d_strc_indentedtexts_width -\newdimen\d_strc_indentedtexts_distance +\newinteger \c_strc_indentedtexts_nesting +\newdimension\d_strc_indentedtexts_width +\newdimension\d_strc_indentedtexts_distance \appendtoks \frozen\instance\setuevalue {\e!start\currentindentedtext}{\strc_indentedtexts_start{\currentindentedtext}\c_strc_indentedtexts_nesting}% @@ -84,7 +84,7 @@ \indentedtextparameter\c!sample \spr{\indentedtextparameter\c!separator}} {\d_strc_indentedtexts_distance}% - \advance\d_strc_indentedtexts_width \d_strc_indentedtexts_distance + \advanceby\d_strc_indentedtexts_width \d_strc_indentedtexts_distance \setbox\scratchbox\hbox to \d_strc_indentedtexts_width {\useindentedtextstyleandcolor\c!headstyle\c!headcolor \strut @@ -94,7 +94,7 @@ \hskip\d_strc_indentedtexts_distance}% \parindent\zeropoint \hskip\c_strc_indentedtexts_nesting\d_strc_indentedtexts_width - \advance\c_strc_indentedtexts_nesting\plusone + \advanceby\c_strc_indentedtexts_nesting\plusone \dontleavehmode\box\scratchbox \hangindent\c_strc_indentedtexts_nesting\d_strc_indentedtexts_width \useindentedtextstyleandcolor\c!style\c!color} |