[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: How to make Emacs popular again: Use monospaced fonts less
From: |
Drew Adams |
Subject: |
RE: How to make Emacs popular again: Use monospaced fonts less |
Date: |
Mon, 12 Oct 2020 09:30:13 -0700 (PDT) |
> Another thing I noticed is that only the active modeline has variable
> pitch; perhaps all mode line faces (including mode-line-inactive) need
> adjustment?
I think you must be doing something special.
Face `mode-line-inactive' inherits from face
`mode-line'. After I changed `mode-line' to
use variable-pitch, `mode-line-inactive' had
it also.
> > Other obvious candidates for variable-pitching are basically any mode
> > that displays data in tabular form.
Perhaps NON-variable was meant there?
> > And, of course, the manuals, but
> > that'll happen by itself once we move from .info to .html.
Variable pitch for header-line and mode-line
work fine for me in Info (FWIW).
- Re: How to make Emacs popular again: Use monospaced fonts less, (continued)
- 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, 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, 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,
Drew Adams <=
- 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
- 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