[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: :extend face attribute at EOB without end-of-line char
From: |
Eli Zaretskii |
Subject: |
Re: :extend face attribute at EOB without end-of-line char |
Date: |
Tue, 15 Oct 2019 09:15:42 +0300 |
> From: Juanma Barranquero <address@hidden>
> Date: Mon, 14 Oct 2019 23:37:14 +0200
> Cc: address@hidden, Emacs developers <address@hidden>
>
> > So you are talking about a different,
>
> Agreed.
>
> > almost unrelated, feature.
>
> Obviously, we don't define "almost unrelated" the same way. Fair enough.
OK, but still, we'd need a rationale. The use case is quite obscure,
IMO, and the implementation won't be trivial (I had my share of bugs
from fiddling with display code past ZV, and you just had a taste of
that with the ticks feature).
- Re: :extend face attribute at EOB without end-of-line char, (continued)
- Re: :extend face attribute at EOB without end-of-line char, Eli Zaretskii, 2019/10/14
- Re: :extend face attribute at EOB without end-of-line char, Juanma Barranquero, 2019/10/14
- Re: :extend face attribute at EOB without end-of-line char, Eli Zaretskii, 2019/10/14
- Re: :extend face attribute at EOB without end-of-line char, Juanma Barranquero, 2019/10/14
- Re: :extend face attribute at EOB without end-of-line char, Eli Zaretskii, 2019/10/14
- Re: :extend face attribute at EOB without end-of-line char, Juanma Barranquero, 2019/10/14
- Re: :extend face attribute at EOB without end-of-line char,
Eli Zaretskii <=
- Re: :extend face attribute at EOB without end-of-line char, Juanma Barranquero, 2019/10/15
- Re: :extend face attribute at EOB without end-of-line char, Eli Zaretskii, 2019/10/15
- Re: :extend face attribute at EOB without end-of-line char, Juanma Barranquero, 2019/10/15
- Re: :extend face attribute at EOB without end-of-line char, Stefan Monnier, 2019/10/15
- Re: :extend face attribute at EOB without end-of-line char, Juanma Barranquero, 2019/10/15
- Re: :extend face attribute at EOB without end-of-line char, Ergus, 2019/10/15
- Re: :extend face attribute at EOB without end-of-line char, Eli Zaretskii, 2019/10/15
- Re: :extend face attribute at EOB without end-of-line char, Ergus, 2019/10/15