[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to make Emacs popular again: Use monospaced fonts less
From: |
Eli Zaretskii |
Subject: |
Re: How to make Emacs popular again: Use monospaced fonts less |
Date: |
Tue, 13 Oct 2020 17:39:07 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: emacs-devel@gnu.org
> Date: Tue, 13 Oct 2020 02:35:56 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> But... Now that you mention it, I don't quite see how to use :align-to
> >> in the mode line (in general). It takes as a parameter the target
> >> column number (or pixels), so if we want to say "this element should be
> >> at least 80 pixels wide", then we need to know what column/pixel we're
> >> on already, don't we?
> >
> > Yes. But that's how you design tabulated display, don't you? You
> > select the coordinate where each column will end, and set tab stops
> > there, right?
>
> More or less. But how would this work for mode lines? There's nothing
> tabular about those, and they move around a lot.
I think if we want to keep the fields in their places, we should
consider the mode line to be tabular.
- 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/15
- Re: How to make Emacs popular again: Use monospaced fonts less, Eli Zaretskii, 2020/10/15
- 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, Eli Zaretskii, 2020/10/15
- Re: How to make Emacs popular again: Use monospaced fonts less, Lars Ingebrigtsen, 2020/10/16
- 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 <=
- 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, 2020/10/11
- 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