[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: |
Thu, 15 Oct 2020 19:50:06 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: larsi@gnus.org, emacs-devel@gnu.org
> Date: Thu, 15 Oct 2020 12:25:15 -0400
>
> >> 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.
> >
> > If this is a danger, then this feature is not workable at all for
> > buffer text.
>
> That's why I was suggesting a representation where you don't put
> a property on the whole span but only at the beginning and at the end.
That's not the difficulty I had in mind, so your suggestion doesn't
clear the path towards a solution.
The problem is that if the run of text which needs to be "padded" this
way can be split between lines, the problem becomes undefined.
- Re: How to make Emacs popular again: Use monospaced fonts less, (continued)
- 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, 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 <=
- 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
- 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