[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:48:55 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Yes, this can be done. But we'd need fort to decide what is the
> semantics of this:
>
> (setq mode-line-thing `(:propertize "%12b" :min-width 10))
>
> IOW, when the format and :min-width contradict, who "wins"?
I'd say %12b should win -- :min-width should be used only to add extra
padding if needed. I think that would be pretty clear semantics...
> Or maybe we should re-purpose the WIDTH parameter of such formats to
> mean "min-width"?
Hm... *ponder* I think that perhaps sounds like a complicating
factor. I mean, semantics-wise.
--
(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, Eli Zaretskii, 2020/10/15
- Re: How to make Emacs popular again: Use monospaced fonts less, Stefan Monnier, 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, Stefan Monnier, 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, Stefan Monnier, 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, Stefan Monnier, 2020/10/15
- Re: How to make Emacs popular again: Use monospaced fonts less,
Lars Ingebrigtsen <=
- 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, 2020/10/13