[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: |
Wed, 14 Oct 2020 09:21:46 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> I tried this, and the mode-line looks much nicer indeed,
>> but this improvement is unusable because the mode-line jumps
>> left and right when the buffer is saved, the cursor is moved, etc.
> Do you use a variable-pitch font that has different widths for the digits?
The jumps come from the difference of width between the numbers and the
SPC char.
Stefan
- Re: How to make Emacs popular again: Use monospaced fonts less, (continued)
- 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
- 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, Juri Linkov, 2020/10/14
- RE: How to make Emacs popular again: Use monospaced fonts less, Drew Adams, 2020/10/14
- Re: How to make Emacs popular again: Use monospaced fonts less, Lars Ingebrigtsen, 2020/10/15
- Re: How to make Emacs popular again: Use monospaced fonts less,
Stefan Monnier <=
- Re: How to make Emacs popular again., Jean Louis, 2020/10/04
Re: How to make Emacs popular again., Richard Stallman, 2020/10/01
- Re: How to make Emacs popular again., Gregory Heytings, 2020/10/01
- Re: How to make Emacs popular again., Philip K., 2020/10/01
- Re: How to make Emacs popular again., Richard Stallman, 2020/10/01
- dict - Re: How to make Emacs popular again., Jean Louis, 2020/10/02
- Re: dict - Re: How to make Emacs popular again., Richard Stallman, 2020/10/02
- Re: dict - Re: How to make Emacs popular again., Jean Louis, 2020/10/03
- Re: dict - Re: How to make Emacs popular again., Richard Stallman, 2020/10/09
- Re: dict - Re: How to make Emacs popular again., Eli Zaretskii, 2020/10/03