[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: |
Wed, 01 Dec 2021 20:47:05 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: emacs-devel@gnu.org
> Date: Wed, 01 Dec 2021 19:19:16 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Why would you need the overall min-width, if each one of the "-" is as
> > wide as "*" or "%" (whichever is wider)?
>
> That's not what we're going for, I think? The "-" should be made as
> wide as a "normal character", but "%" is often wider.
That's not the important part in my question, the important part is
this:
> IOW, why also have a condition on a whole when you already have
> conditions on each one of its parts?
Since the overall width is a sum of the widths of the individual
characters, placing min-width on each character would also yield
min-width on all of them together. Right?
- Re: Variable pitch text filling, (continued)
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling,
Eli Zaretskii <=
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02