[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use variable-pitch face in more places
From: |
Stefan Kangas |
Subject: |
Re: Use variable-pitch face in more places |
Date: |
Mon, 22 Nov 2021 16:05:15 +0100 |
Stefan Kangas <stefankangas@gmail.com> writes:
> So here's some low-hanging fruit: the header-line and breadcrumb in info.
Please find attached a screenshot.
info-variable-pitch.png
Description: PNG image
- Re: Tick Reduction, (continued)
- Re: Tick Reduction, Eli Zaretskii, 2021/11/20
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Stefan Kangas, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Stefan Kangas, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Stefan Kangas, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places,
Stefan Kangas <=
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/22
- Re: Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/22
- Re: Use variable-pitch face in more places, Lars Ingebrigtsen, 2021/11/23
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/24
- Re: Use variable-pitch face in more places, Lars Ingebrigtsen, 2021/11/24
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/24
- Re: Tick Reduction, Eli Zaretskii, 2021/11/19
- Re: Tick Reduction, Stefan Kangas, 2021/11/19
- Re: Tick Reduction, Dmitry Gutov, 2021/11/19