[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: |
Sun, 11 Oct 2020 09:21:46 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> (defface mode-line
>> '((((class color) (min-colors 88))
>> :box (:line-width -1 :style released-button)
>> + :inherit variable-pitch
>> :background "grey75" :foreground "black")
FWIW, I've been using pretty much exactly that for quite a few years now.
I did it mostly to save space, and the main downside for me was that the
`*`s "don't look right" (they're shifted up compared to my monospace
fonts), but I overcame this trauma without too much trouble.
> We cannot just switch to variable-pitch font and leave the rest unchanged.
> Using a variable-pitch font will cause an annoying horizontal movement of
> the mode-line stuff when some parts change.
Never bothered me even a tiny bit. It's the kind of thing that annoys
me when it happens right where I'm editing, but apparently the modeline
is far enough.
Stefan
- Re: How to make Emacs popular again: Use monospaced fonts less, (continued)
- Re: How to make Emacs popular again: Use monospaced fonts less, Eli Zaretskii, 2020/10/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Lars Ingebrigtsen, 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, Eli Zaretskii, 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, Eli Zaretskii, 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, Eli Zaretskii, 2020/10/14
- Re: How to make Emacs popular again: Use monospaced fonts less,
Stefan Monnier <=
- Re: How to make Emacs popular again: Use monospaced fonts less, Eli Zaretskii, 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, Richard Stallman, 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, Teemu Likonen, 2020/10/11
- Re: How to make Emacs popular again: Use monospaced fonts less, Andreas Schwab, 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, Andreas Schwab, 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, Drew Adams, 2020/10/11