Re: Variable pitch text filling

[Lars Ingebrigtsen]

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).

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

> 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.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no