On Thu, Oct 28, 2021 at 6:24 AM Hans Hagen = via ntg-context <ntg-context@ntg.n= l> wrote:

Hi,

Among the 'can they be made better' candidates in the engine are \vadjust and \local[left|right]box primitives that are not really used
in context (okay, vadjust is used in mkii).

The \vadjust vertical injector can be illustrated with

\starttext
=C2=A0 =C2=A0 =C2=A0\ignorespaces\input tufte \removeunwantedspaces
=C2=A0 =C2=A0 =C2=A0we want a break before this line \vadjust pre {\break}%=
=C2=A0 =C2=A0 =C2=A0\ignorespaces\input tufte \removeunwantedspaces

=C2=A0 =C2=A0 =C2=A0\page

=C2=A0 =C2=A0 =C2=A0\ignorespaces\input tufte \removeunwantedspaces
=C2=A0 =C2=A0 =C2=A0we want seperate lines now \leftparbox{\vadjust post {\= break}}%
=C2=A0 =C2=A0 =C2=A0\ignorespaces\input tufte \removeunwantedspaces
=C2=A0 =C2=A0 =C2=A0\resetleftparbox{}
\stoptext

It's a signal that injects something in a vertical list without
interupting the horizontal text flow. One can inject before (pre) or
after (post which is default). New is that we can also influence the
order: after vs before preceding \vadjust in the same line.=C2=A0 Also new = is
that deeply nested adjustments can migrate (so the hole los: marks,
inserts and vadjust are now in sync) which is demonstrated with the next example:

\starttext
=C2=A0 =C2=A0 =C2=A0\showstruts
=C2=A0 =C2=A0 =C2=A0\input tufte \removeunwantedspaces\space
=C2=A0 =C2=A0 =C2=A0\localleftbox=C2=A0 par {%
=C2=A0 =C2=A0 =C2=A0 =C2=A0 \hbox to 0pt{%
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0\llap{L}%
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0\vadjust{\strut\blackrule[width=3D= 1cm,color=3Dred]}%
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0\hbox{\vadjust pre{\strut\blackrul= e[width=3D1cm,color=3Dgreen]}}%
=C2=A0 =C2=A0 =C2=A0 =C2=A0 }\hss
=C2=A0 =C2=A0 =C2=A0}%
=C2=A0 =C2=A0 =C2=A0\localrightbox par {}%
=C2=A0 =C2=A0 =C2=A0\input tufte \removeunwantedspaces\space
=C2=A0 =C2=A0 =C2=A0\vadjust pre=C2=A0 =C2=A0 {\strut BEFORE 1}%
=C2=A0 =C2=A0 =C2=A0\vadjust pre=C2=A0 =C2=A0 {\strut BEFORE 2}%
=C2=A0 =C2=A0 =C2=A0\vadjust before {\strut AFTER=C2=A0 1}%
=C2=A0 =C2=A0 =C2=A0\vadjust before {\strut AFTER=C2=A0 2}%
=C2=A0 =C2=A0 =C2=A0\ignorespaces
=C2=A0 =C2=A0 =C2=A0\input tufte
\stoptext

Indeed it looks bad (ugly) but it illustrates the idea. What makes
vadjust sort of useless for content is that it messes up spacing (but if there is real demand and usage i can sort that out at some point, maybe some new options or so). Thsi example also brings us to local boxes:

\showframe

\starttext

\showmakeup[hbox]

\startnarrower[2*left] \raggedleft
{\localleftbox par {L1}\input tufte=C2=A0 \par}
\stopnarrower
\blank

\startnarrower[2*middle] \raggedcenter
{\localrightbox par {R1}\input tufte=C2=A0 \par}
\stopnarrower
\blank

\stoptext

New is the par keyword that forces the setting to be applied from the
first line downards (fyio: these commands, when display set registers,
when inline they set registers and inject a node). Watch out: one needs to use grouping in order not to bleed into other mechanisms.

Also new is that we can query the content of these registers using \the, as in:

\dorecurse{10}{
=C2=A0 =C2=A0 =C2=A0\showboxes
=C2=A0 =C2=A0 =C2=A0\localleftbox{\ruledhbox {\smallinfofont\setstrut\strut= [L #1.0]}}%
=C2=A0 =C2=A0 =C2=A0\localleftbox{\ruledhbox {\smallinfofont\setstrut\strut= [L
#1.1]}\the\localleftbox}%
=C2=A0 =C2=A0 =C2=A0\localleftbox{\ruledhbox {\smallinfofont\setstrut\strut= [L
#1.2]}\the\localleftbox}%
=C2=A0 =C2=A0 =C2=A0\localleftbox{\ruledhbox {\smallinfofont\setstrut\strut= [L
#1.3]}\the\localleftbox}%
=C2=A0 =C2=A0 =C2=A0%
=C2=A0 =C2=A0 =C2=A0\localrightbox{\ruledhbox
{\smallinfofont\setstrut\strut[R #1.0]}}%

\localrightbox{\the\localrightbox\ruledhbox{\smallinfofont\setstrut\strut[R=
#1.1]}}%

\localrightbox{\the\localrightbox\ruledhbox{\smallinfofont\setstrut\strut[R=
#1.2]}}%
=C2=A0 =C2=A0 =C2=A0\localrightbox{\the\localrightbox\ruledhbox{\smallinfof= ont[R #1.3]}}%
=C2=A0 =C2=A0 =C2=A0% \localrightbox{}%
=C2=A0 =C2=A0 =C2=A0\samplefile{tufte}
}

Flushing permits us to append and prepend but it's still ugly so that i= s
why we now have a new interface (context layer on top of engine):

\dorecurse{10}{
=C2=A0 =C2=A0 =C2=A0\showboxes
=C2=A0 =C2=A0 =C2=A0%
=C2=A0 =C2=A0 =C2=A0\resetleftparbox
=C2=A0 =C2=A0 =C2=A0\resetrightparbox
=C2=A0 =C2=A0 =C2=A0%
=C2=A0 =C2=A0 =C2=A0\prependleftparbox {\ruledhbox{\smallinfofont\setstrut\= strut[L #1.0]}}%
=C2=A0 =C2=A0 =C2=A0\prependleftparbox {\ruledhbox{\smallinfofont\setstrut\= strut[L #1.1]}}%
=C2=A0 =C2=A0 =C2=A0\prependleftparbox {\ruledhbox{\smallinfofont\setstrut\= strut[L #1.2]}}%
=C2=A0 =C2=A0 =C2=A0\prependleftparbox {\ruledhbox{\smallinfofont\setstrut\= strut[L #1.3]}}%
=C2=A0 =C2=A0 =C2=A0%
=C2=A0 =C2=A0 =C2=A0\appendrightparbox{\ruledhbox{\smallinfofont\setstrut\s= trut[R #1.0]}}%
=C2=A0 =C2=A0 =C2=A0\appendrightparbox{\ruledhbox{\smallinfofont\setstrut\s= trut[R #1.1]}}%
=C2=A0 =C2=A0 =C2=A0\appendrightparbox{\ruledhbox{\smallinfofont\setstrut\s= trut[R #1.2]}}%
=C2=A0 =C2=A0 =C2=A0\appendrightparbox{\ruledhbox{\smallinfofont[R #1.3]}}%=
=C2=A0 =C2=A0 =C2=A0%
=C2=A0 =C2=A0 =C2=A0\samplefile{tufte}
}

But as this is not really user friendly, there is more: a mechanism for hooking in handlers.

\definelocalboxes
=C2=A0 =C2=A0[linenumber]
=C2=A0 =C2=A0[command=3D\LeftNumber,
=C2=A0 =C2=A0 location=3Dleft,
=C2=A0 =C2=A0 width=3D3em,
=C2=A0 =C2=A0 style=3D\bs,
=C2=A0 =C2=A0 color=3Ddarkred]

\definelocalboxes
=C2=A0 =C2=A0[linenumbertwo]
=C2=A0 =C2=A0[linenumber]
=C2=A0 =C2=A0[command=3D\RightNumber,
=C2=A0 =C2=A0 location=3Dright,
=C2=A0 =C2=A0 width=3D6em,
=C2=A0 =C2=A0 style=3D\bf,
=C2=A0 =C2=A0 color=3Ddarkgreen]

\definelocalboxes
=C2=A0 =C2=A0[linetext]
=C2=A0 =C2=A0[command=3D\LeftText,
=C2=A0 =C2=A0 location=3Dlefttext,
=C2=A0 =C2=A0 style=3D\bs,
=C2=A0 =C2=A0 color=3Ddarkblue]

\definelocalboxes
=C2=A0 =C2=A0[linetexttwo]
=C2=A0 =C2=A0[linetext]
=C2=A0 =C2=A0[command=3D\RightText,
=C2=A0 =C2=A0 location=3Drighttext,
=C2=A0 =C2=A0 style=3D\bf,
=C2=A0 =C2=A0 color=3Ddarkgray]

% just using the content

% \protected\def\LeftNumber {\hbox to
\localboxesparameter{width}{\strut\box\localboxcontentbox\hss)}}
% \protected\def\RightNumber{\hbox to
\localboxesparameter{width}{\strut(\hss\box\localboxcontentbox)}}

% using the provided line number:

% \def\LineNumberL{\the\localboxlinenumber}
% \def\LineNumberR{\the\localboxlinenumber}

% using a tex counter

% \newcount\MyLineNumberL
% \newcount\MyLineNumberR
% \def\LineNumberL{\global\advance\MyLineNumberL\plusone\the\MyLineNumberL}=
% \def\LineNumberR{\global\advance\MyLineNumberR\plusone\the\MyLineNumberR}=

% using proper counters

\definecounter[MyLineNumberL]
\definecounter[MyLineNumberR]

\setupcounter[MyLineNumberL][numberconversion=3Dcharacters]
\setupcounter[MyLineNumberR][numberconversion=3Dromannumerals]

\def\LineNumberL{\incrementcounter[MyLineNumberL]\convertedcounter[MyLineNu= mberL]}
\def\LineNumberR{\incrementcounter[MyLineNumberR]\convertedcounter[MyLineNu= mberR]}

\protected\def\LeftNumber {\hbox to
\localboxesparameter{width}{\strut(\LineNumberL\hss)}}
\protected\def\RightNumber{\hbox to
\localboxesparameter{width}{\strut(\hss\LineNumberR)}}

\protected\def\LeftText #1{#1\quad}
\protected\def\RightText#1{\quad#1}

\showframe

\starttext

\start
=C2=A0 =C2=A0 =C2=A0\localbox[linenumber]{}%
=C2=A0 =C2=A0 =C2=A0\localbox[linenumbertwo]{}%
=C2=A0 =C2=A0 =C2=A0\localbox[linetext]{L}%
=C2=A0 =C2=A0 =C2=A0\startlocalbox[linetexttwo]
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0R
=C2=A0 =C2=A0 =C2=A0\stoplocalbox
=C2=A0 =C2=A0 =C2=A0\dorecurse{100}{
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0\samplefile{tufte}
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0\par
=C2=A0 =C2=A0 =C2=A0}
\stop

If you play a bit with these low level mechanism the luametatex /
context combination now permits weird applications (which for sure some of you will (ab)use). The above example shows how to implement line
numbers (there are drawbacks compared to the existing mechanisms) and
other stuff in the margins and text edges but the most important aspect is that when the content in these boxes has width, it will be taken into account in the par builder because that is what this is about: these
local boxes are taken into acount when breaking lines. When the handlers kick in, you have

\localboxattribute=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0: more for internal use=
\localboxlinenumber=C2=A0 =C2=A0 =C2=A0 =C2=A0 : as the par builder sees it=
\localboxwidth=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0: the local b= ox width
\localboxoffset=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 : the total distan= ce to the edge
\localboxleftskip=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 : the effective leftski= p
\localboxrightskip=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0: the effective rightsk= ip
\localboxlefthang=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 : the current shape rel= ated value
\localboxrighthang=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0: the current shape rel= ated value
\localboxindent=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 : only first line<= br> \localboxparfillleftskip=C2=A0 =C2=A0: effective value (onky last line)
\localboxparfillrightskip=C2=A0 : effective value (only last line)
\localboxovershoot=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0: overfull compensation=

most of these relate to normalized lines and as such there is plenty to play with. Others can be seen in the examples.

I might add some more control to both these 'injection' mechanism <= br> because directly out of the (pdftex/omega/luatex) they are not that
useful (which is probably also why we don't use them.) These are cheap =
extensions so they don't really influence runtime much, so .. when not =
used ... no harm done. I really have no clue how useful this is.

I need to ponder this usage:

\definelocalboxes
=C2=A0 =C2=A0[linetextA]
=C2=A0 =C2=A0[command=3D\LeftTextA,
=C2=A0 =C2=A0 location=3Dlefttext,
=C2=A0 =C2=A0 style=3D\bs,
=C2=A0 =C2=A0 color=3Ddarkblue]

\protected\def\LeftTextA#1{\llap{#1}\quad}

\definelocalboxes
=C2=A0 =C2=A0[linetextB]
=C2=A0 =C2=A0[command=3D\LeftTextB,
=C2=A0 =C2=A0 location=3Dleft,
=C2=A0 =C2=A0 style=3D\bs,
=C2=A0 =C2=A0 color=3Ddarkgreen]

\protected\def\LeftTextB{\llap{\unhbox\localboxcontentbox}\quad}

\starttext

\dorecurse{10}{some text #1 }
\leftparbox {\red \bf keyword}HERE\leftparbox{}
\dorecurse{10}{some text #1 }
\blank

{\dorecurse{10}{some text #1 }
\leftparbox {\red \bf keyword}test
\dorecurse{10}{some text #1 }}
\blank

{\dorecurse{10}{some text #1 }
\localbox[linetextA]{keyword}HERE
\dorecurse{10}{some text #1 }}

{\dorecurse{10}{some text #1 }
\localbox[linetextB]{keyword}HERE
\dorecurse{10}{some text #1 }}

{\dorecurse{10}{some text #1 }
\localbox[linetextB]{keyword 1}HERE1
\dorecurse{10}{some text #1 }
\localbox[linetextB]{keyword 2}HERE2
\dorecurse{10}{some text #1 }}

\stoptext

so there's always so echallenge left.

Hans

-----------------------------------------------------------------
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0Hans Hagen | PRAGMA ADE
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Ridderstraat 27 | 80= 61 GH Hasselt | The Netherlands
=C2=A0 =C2=A0 =C2=A0 =C2=A0 tel: 038 477 53 69 | www.pragma-ade.nl | www.= pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________= ________
If your question is of interest to others as well, please add an entry to t= he Wiki!

maillist : ntg-cont= ext@ntg.nl / http://www.ntg.nl/mailman/listinfo/nt= g-context
webpage=C2=A0 : http://www.pragma-ade.nl / http://context.aanhet.net=
archive=C2=A0 : https://bitbucket.org/phg/context-m= irror/commits/
wiki=C2=A0 =C2=A0 =C2=A0: http://contextgarden.net
___________________________________________________________________________= ________