Re: Variable pitch text filling

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: emacs-devel@gnu.org
> Date: Thu, 02 Dec 2021 09:15:56 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> I'm not considering any hypothetical cases -- I'm just describing the
> >> bog-standard way this works.
> >
> > Then please explain how a ":" character can become twice wider.
> 
> By changing to a "%", for instance (which is twice as wide in some fonts).

Which is why I said:

> > Characters don't stretch, they stay the same width.  If "-" is
> > replaced by "*", then the width could change, but if each of them has
> > a min-width that accommodates all the possibilities, that won't give
> > us any trouble.
> 
> But they don't.  They shouldn't be shorter than a normal character here,
> because that makes them difficult to click, but they will change size
> individually.

Putting a min-width property on each of them will achieve that goal,
right?

> I.e., when "-" changes to "%", the other chars later in
> "U:--" will move, but the things later in the mode line won't.

If each of these, "U", ":", "-", and "-", has min-width defined for
it, none of them will move, and things later on the mode line won't
move, either.

> > So if I'm too stupid to understand and think through your intentions,
> > then I'm afraid you'll have to do this yourself.  At least I tried,
> > and tried very hard.
> 
> OK, I'll implement this, then.

On which of the 3 features you intend to work?  I'd hate to have us
step on each other's toes.

Or maybe what I say above settles the disagreement?