[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to make Emacs popular again: Use monospaced fonts less
From: |
Stefan Kangas |
Subject: |
Re: How to make Emacs popular again: Use monospaced fonts less |
Date: |
Mon, 12 Apr 2021 10:27:23 -0500 |
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))
(((type tty))
;; This used to be `:inverse-video t', but that doesn't look very
;; good when combined with inverse-video mode-lines and multiple
- 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 <=
- 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, 2021/04/13