J.Pietschmann wrote:
something weird happens with the space
calculation between the leader and the word on the line end.
Ouch, stipid thinko: the area with the dots from the leader was
assigned the leader length, rather than it's real word length.
Also, some smace for the difference had to be inserted.
This is corrected now.
J.Pietschmann
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
