[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to make Emacs popular again: Use monospaced fonts less
From: |
Lars Ingebrigtsen |
Subject: |
Re: How to make Emacs popular again: Use monospaced fonts less |
Date: |
Tue, 13 Apr 2021 09:34:11 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Which is why I prefer that we change the mode-line face (if we thing
> using variable-pitch there is a good move), and leave header-line
> inheriting from mode-line as before. Then (a) mode line and header
> line will look the same by default, and (b) if someone wants a
> different face for both, they just need to change a single face, not 2
> of them.
Yup; I agree.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Kangas, 2021/04/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Lars Ingebrigtsen, 2021/04/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Kangas, 2021/04/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Eli Zaretskii, 2021/04/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Kangas, 2021/04/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Eli Zaretskii, 2021/04/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Kangas, 2021/04/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Eli Zaretskii, 2021/04/12
- Re: How to make Emacs popular again: Use monospaced fonts less,
Lars Ingebrigtsen <=