2 Jul
2020
2 Jul
'20
2:59 p.m.
Hans Hagen schrieb am 02.07.2020 um 16:48:
On 7/2/2020 4:15 PM, Wolfgang Schuster wrote:
Hans Hagen schrieb am 02.07.2020 um 15:40:
On 7/2/2020 3:01 PM, Tommaso Gordini wrote:
[...] I'll add this
\setuplines[indentnext={0pt,10pt,15pt,20pt}]
% \setuplines[indentnext={0pt,*,*}]
which then is a challenge for WS to get in the setups and for you to wikify
Are you sure you use the correct key?
Well, we have that key (and maybe some day we can do that for all), i was wondering about 'left' but then we'd need some \cycle command or so
But indentnext is only used to prevent or allow indentation of a paragraph at the end of an environment. Wolfgang