Re: Leaders

[Peter Schaffter]

On Sat, Sep 02, 2023, Lennart Jablonka wrote:
> The point is that the width of the line of periods is determined
> by its position on the input line.  That is confusing, yet it
> also doesn’t usually matter:  You seldom use tabs or leaders in
> filled text.

Actually, no.  I discovered this issue trying to solve a problem
raised by Heinz-Jürgen Ortel, that long heading entries in the TOC
in mom do not get broken and overprint the leaders/pagenumbers.
The only way to solve this is to allow lines to break and tack
leaders onto the last line.  I do not think "you seldom use" is
justification for adopting an "it doesn't matter" attitude, at least
not in this case.

-- 
Peter Schaffter
https://www.schaffter.ca