Re: Variable pitch text filling

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Fri, 26 Nov 2021 15:45:46 +0100
> 
> But I'm wondering to what degree (if any) we'd want to support the more
> advanced (and seldom used) features from our normal filling machinery.
> For instance -- justification (i.e., having straight borders on both
> sides).

I think this would be a welcome feature.

> To do this with a variable pitch text, you'd have to first fill a line
> normally, and then go over the line and distribute some space pixels
> everywhere (or just on spaces in the line).  (This can (conveniently
> enough) probably be done with the new `min-width' spec (if we're
> distributing the extra pixels on all characters and not just the
> spaces).)

Since we will have spaces in the text from the filling, we could use
the :width display spec on those space characters.  There should be no
need for min-width.