[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use variable-pitch face in more places
From: |
Juri Linkov |
Subject: |
Re: Use variable-pitch face in more places |
Date: |
Mon, 22 Nov 2021 19:22:19 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu) |
> So here's some low-hanging fruit: the header-line and breadcrumb in info.
Thanks, it looks much nicer with variable-pitch. But the problem is that
before this change the links on the header line were highlighted as links
with blue color, but the patch overwrites all faces with variable-pitch face.
I guess the faces should be merged here, maybe with add-face-text-property?
- Re: Tick Reduction, (continued)
- 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, 2021/11/22
- Re: Use variable-pitch face in more places,
Juri Linkov <=
- 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
RE: [External] : Tick Reduction, Drew Adams, 2021/11/18