[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: |
Thu, 15 Oct 2020 08:45:14 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Juri Linkov <juri@linkov.net> writes:
>>> 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? I didn't think that would be an issue in practice. What font
>> do you use?
>
> I'm using DejaVu Sans, where all the digits have the same width,
> but still with column-number-mode enabled, the mode-line exhibits
> jumpiness when the length of the column number changes.
OK, so you exaggerated a bit. :-) Then we're on the same page.
--
(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, 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
- 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 <=
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Monnier, 2020/10/14
- 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