[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: |
Sun, 11 Oct 2020 12:42:22 -0700 (PDT) |
> There are indeed several uses of the header-line that need/want to be
> aligned with the buffer's content (typically for tabular formats),
Ah, good point. In this respect a header-line isn't
similar to a mode-line.
(Well, I suppose a mode-line could also have column
"footers" that repeat the column headers or provide
some alternative identification.)
> but these should be fixed in any case
Agreed. And the fix is (should always be, AFAICT)
pretty simple.
- Re: How to make Emacs popular again: Use monospaced fonts less, (continued)
- 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 <=
- 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, 2020/10/12
- Re: How to make Emacs popular again: Use monospaced fonts less, Tim Cross, 2020/10/12