[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to make Emacs popular again: Use monospaced fonts less
From: |
Eli Zaretskii |
Subject: |
Re: How to make Emacs popular again: Use monospaced fonts less |
Date: |
Mon, 12 Apr 2021 19:40:53 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Mon, 12 Apr 2021 10:27:23 -0500
> Cc: larsi@gnus.org, emacs-devel@gnu.org
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > That's an incompatible change, in that it will cause header-line not
> > necessarily follow mode-line. Right?
>
> We could do this instead; the effect is the same in emacs -Q:
>
> diff --git a/lisp/faces.el b/lisp/faces.el
> index d120852418..c7d9b48d2d 100644
> --- a/lisp/faces.el
> +++ b/lisp/faces.el
> @@ -2615,7 +2615,7 @@ header-line
> '((default
> ;; FIXME: This can be changed to inherit only `mode-line' once
> ;; that face inherits variable-pitch.
> - :inherit (variable-pitch mode-line))
> + :inherit (mode-line variable-pitch))
I don't see how that is different.
My problem is that this change makes header-line different from
mode-line, which I think is undesirable.
- 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 <=
- 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, 2021/04/13