[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 16:52:45 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> Or rather, yes that's what it would boil down to in the redisplay, but
> in terms of resulting behavior we'd have bugs whenever the property span
> gets split into several spans.
Yeah, :min-width as a text property thing is fraught with all kinds of
issues.
--
(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/13
- 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/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/14
- 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,
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, 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, 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