Thanks, Haris, for having a look, since you are familiar with this part of the code.
> A bit more verbose but simpler. Maybe also more efficient? And also sounds
like it is somewhat future-proof in that any new added templates that forget to
account for the heading-level will generate PTX-BUGs.
All part of my (long) conversation with Claude. ;-)
> The only thing that bothers me a tad is that the changes bled into
pretext-common.
Me too. But I do think it is harmless, an uninteresting value will just get
passed along. Those templates for #sidebyside and #sbsgroup are good to have
"down" in -common, and they should be passing along this information to their
contents.
Rob
On 5/14/26 10:14, Charilaos Skiadas wrote:
> I didn’t check all the details but I think the overall plan is reasonable. The
> gist of it for me is that attempting to compute the correct heading level by
> tracking down parents is cumbersome and error-prone on the best of cases, and in
> the absence of something akin to React ContextProvider we simply have to accept
> a possibly excessive but very straightforward passing down of the heading-level
> variable. A bit more verbose but simpler.
> Maybe also more efficient?
> And also sounds like it is somewhat future-proof in that any new added templates
> that forget to account for the heading-level will generate PTX-BUGs.
>
> The only thing that bothers me a tad is that the changes bled into pretext-
> common. But I guess the alternative is to override those templates in pretext-
> html just for this addition.
> I am assuming this doesn’t affect other renderings that use pretext-common? They
> just pass around for a bit a variable that has no use for them.
>
> Charilaos Skiadas
> Department of Mathematics
> Hanover College
>
>
>> On May 13, 2026, at 7:34 PM, 'Rob Beezer' via PreTeXt development <pretext-
> to
pretext-dev...@googlegroups.com <mailto:
pretext-
>
dev+uns...@googlegroups.com>.
> dev/7E47B778-FF0B-4BA5-A263-54BE875BF8DF%
40gmail.com <
https://groups.google.com/
> d/msgid/pretext-dev/7E47B778-FF0B-4BA5-A263-54BE875BF8DF%
40gmail.com?
> utm_medium=email&utm_source=footer>.