[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
From: |
Eli Zaretskii |
Subject: |
Re: Variable pitch mode line |
Date: |
Wed, 22 Dec 2021 16:01:50 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Wed, 22 Dec 2021 14:14:22 +0100
>
> 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.
I tend to agree.
- Variable pitch mode line, Lars Ingebrigtsen, 2021/12/22
- Re: Variable pitch mode line,
Eli Zaretskii <=
- Re: Variable pitch mode line, Stefan Kangas, 2021/12/22
- 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