[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
|
From: |
Stefan Kangas |
|
Subject: |
Re: Variable pitch mode line |
|
Date: |
Wed, 22 Dec 2021 07:21:32 -0800 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> So I think the way forward is to revert the trunk back to monospaced
> fonts, then fix the usability problems, and then do another test in a
> few months.
FWIW, I saw no issues with the new default here but the above plan
sounds good to me.
- Variable pitch mode line, Lars Ingebrigtsen, 2021/12/22
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/22
- Re: Variable pitch mode line,
Stefan Kangas <=
- Re: Variable pitch mode line, Juri Linkov, 2021/12/22
- Re: Variable pitch mode line, Tassilo Horn, 2021/12/22
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Stefan Kangas, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23