[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Patch]: Allow overlay arrows to be inserted before the text at colu
From: |
Alan Mackenzie |
Subject: |
Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it. |
Date: |
Sun, 18 Aug 2019 19:43:40 +0000 |
User-agent: |
Mutt/1.10.1 (2018-07-13) |
Hello, Noam.
On Sun, Aug 18, 2019 at 15:30:11 -0400, Noam Postavsky wrote:
> On Sun, 18 Aug 2019 at 14:44, Alan Mackenzie <address@hidden> wrote:
> > I don't think there's anything else in Emacs at the moment that could
> > take its place. The essence here is being able to insert "=>" onto the
> > display _without_ disturbing the horizontal alignment, as needed by
> > debuggers. Maybe, in addition to before-strings and after-strings we
> > need "overlay-strings" (with a better name than that), which would cover
> > up the underlying text. Or do we already have something like that?
> I think the 'display' property would work for that.
Yes. Thanks! I didn't know that.
So we could supersede the (current) overlay arrow with a mechanism using
the display text property or overlay.
--
Alan Mackenzie (Nuremberg, Germany).
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., (continued)
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Eli Zaretskii, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Alan Mackenzie, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Eli Zaretskii, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Alan Mackenzie, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Eli Zaretskii, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Alan Mackenzie, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Eli Zaretskii, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Alan Mackenzie, 2019/08/19
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Eli Zaretskii, 2019/08/19
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Noam Postavsky, 2019/08/18
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it.,
Alan Mackenzie <=
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Stefan Monnier, 2019/08/19
- Re: [Patch]: Allow overlay arrows to be inserted before the text at column zero rather than splatting it., Eli Zaretskii, 2019/08/19