[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Use variable-pitch face in more places
From: |
Stefan Kangas |
Subject: |
Use variable-pitch face in more places |
Date: |
Mon, 22 Nov 2021 15:57:48 +0100 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Yes, I think we should work towards using proportional fonts throughout
> Emacs (where it makes sense) in the Emacs 29 cycle to get a more
> consistent and modern look. For instance, "emacs -Q" uses proportional
> fonts in the menus and the toolbars (on most systems), but not in the
> mode line or the header lines.
So here's some low-hanging fruit: the header-line and breadcrumb in info.
I'm not sure if the header-line should perhaps just default to use a
proportional font though? In tabulated-list-mode, we use :align-to so
there is nothing there that would immediately break. And any place
where we don't use :align-to, we should perhaps just fix in any case.
I'm not sure, which is why I am asking.
0001-Use-variable-pitch-in-Info-header-line-and-breadcrum.patch
Description: Binary data
- Re: Tick Reduction, (continued)
- 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 <=
- 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, 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