[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 Monnier |
Subject: |
Re: How to make Emacs popular again: Use monospaced fonts less |
Date: |
Mon, 12 Oct 2020 13:24:32 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> mu4e’s *mu4e-headers* buffer has a header line (“Date”, “Flgs”, “List”,
> “From”, “Subject”), which no longer lines up with the contents of the
> buffer when the mode-line face inherits from variable-pitch.
>
> I suspect that other packages would suffer from the same problem (and we
No need to use the conditional: this already affects all users who have
changed their `header-line` (such as yours truly).
The best course of action is to file bug reports for every such case.
Stefan
- Re: How to make Emacs popular again: Use monospaced fonts less, (continued)
- RE: How to make Emacs popular again: Use monospaced fonts less, Drew Adams, 2020/10/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Stephen Berman, 2020/10/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Monnier, 2020/10/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Monnier, 2020/10/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Stephen Berman, 2020/10/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Andreas Schwab, 2020/10/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Ricardo Wurmus, 2020/10/12
- Re: How to make Emacs popular again: Use monospaced fonts less,
Stefan Monnier <=
- Re: How to make Emacs popular again: Use monospaced fonts less, Ricardo Wurmus, 2020/10/12
- RE: How to make Emacs popular again: Use monospaced fonts less, Drew Adams, 2020/10/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Tim Cross, 2020/10/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Lars Ingebrigtsen, 2020/10/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Ricardo Wurmus, 2020/10/13
- Re: How to make Emacs popular again: Use monospaced fonts less, Juri Linkov, 2020/10/13
- RE: How to make Emacs popular again: Use monospaced fonts less, Drew Adams, 2020/10/13
- Re: How to make Emacs popular again: Use monospaced fonts less, Lars Ingebrigtsen, 2020/10/14
- Re: How to make Emacs popular again: Use monospaced fonts less, Protesilaos Stavrou, 2020/10/14
- Re: How to make Emacs popular again: Use monospaced fonts less, Lars Ingebrigtsen, 2020/10/14