Am 5. September 2023 23:41:36 MESZ schrieb Peter Schaffter :
>On Mon, Sep 04, 2023, Tadziu Hoffmann wrote:
>> I think leaders are meant to be used in conjunction with
>> diversions. When they are used in already formatted text,
>> all required dimensions are known, allowing n/troff to
>> comput
On Mon, Sep 04, 2023, Tadziu Hoffmann wrote:
> I think leaders are meant to be used in conjunction with
> diversions. When they are used in already formatted text,
> all required dimensions are known, allowing n/troff to
> compute the number of leader character repetitions plus any
> possibly requ
Lennart --
On Sun, Sep 03, 2023, Lennart Jablonka wrote:
> Do you now understand what’s going on, ignoring how useful or useless a
> design this is?
Your explanation was exactly what I needed to conceptualize leader
behaviour. Many thanks. I took a couple of readings, but I've got
it now.
--
