[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 Oct 2020 02:34:07 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Ricardo Wurmus <rekado@elephly.net> writes:
> 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 don't see this -- perhaps you've altered that face yourself?
>> Other obvious candidates for variable-pitching are basically any mode
>> that displays data in tabular form. And, of course, the manuals, but
>> that'll happen by itself once we move from .info to .html.
>
> Will this move only affect Emacs?
Yes.
> Perhaps it would make sense to augment the Info format with extra
> information, so that all Info documentation would look better in all
> Info readers.
That would require changing all those other Info readers, which isn't
feasible.
--
(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, (continued)
- 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, 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 <=
- 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
- Re: How to make Emacs popular again: Use monospaced fonts less, James Cloos, 2020/10/14
- Re: How to make Emacs popular again: Use monospaced fonts less, tomas, 2020/10/14