[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: |
Fri, 03 Dec 2021 13:35:06 +0200 |
> From: "Feng Shu" <tumashu@163.com>
> Cc: casouri@gmail.com, larsi@gnus.org, emacs-devel@gnu.org
> Date: Fri, 03 Dec 2021 16:51:41 +0800
>
> Maybe we should conside the below feature:
> 1. Prevent minibuffer/mode/header/tab-line from shaking up and down
> 2. Provide a simple fontset config UI? customize-fontset?
> 3. line-height-factor
First, I don't see how any feature that affects the height of the
lines could be useful for horizontal character-spacing, in general.
Second, I already implemented 1 and 3, and you rejected the results as
unsatisfactory, so this is off the table.
As for easier customization of fontsets: patches are welcome, of
course. But again, I'm not sure it will fix the problem discussed
here, since no one has yet come up with a list of fonts where the
problems that bother you are resolved.
- Re: Variable pitch text filling, (continued)
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Yuan Fu, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling,
Eli Zaretskii <=
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Po Lu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/04
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/04
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/04
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/04