[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Variable pitch text filling

From: Eli Zaretskii
Subject: Re: Variable pitch text filling
Date: Thu, 02 Dec 2021 10:46:31 +0200

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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]