[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Identifying the face between STRETCH and right fringe.
From: |
Robert Pluim |
Subject: |
Re: Identifying the face between STRETCH and right fringe. |
Date: |
Wed, 21 Nov 2018 08:44:58 +0100 |
Eli Zaretskii <address@hidden> writes:
>> Date: Tue, 20 Nov 2018 08:39:16 -0800
>> From: Keith David Bershatsky <address@hidden>
>> QUESTION #1: In terms of identifying the face between the STRETCH
>> and the right fringe, how can I programmatically know the difference
>> between the NS situation, versus the NT and X11 situation?
>>
>> QUESTION #2: Is the difference in behavior between the different
>> platforms "a bug", and should the X11 and NT ports be "fixed" so
>> that they behave like the NS port in this situation?
>
> I will look into this when I have time. I don't yet know whether the
> bug is on NS or on the other 2 platforms, though I tend to think the
> former.
I find the NS behaviour less surprising: the face has been applied to
the TAB character, so the emptiness created by emacs displaying the
';'s on the next line should not have that face, since thereʼs nothing
there.
Having said that, consistency would be good here, in either direction.
Robert
- Identifying the face between STRETCH and right fringe., Keith David Bershatsky, 2018/11/20
- Re: Identifying the face between STRETCH and right fringe., Eli Zaretskii, 2018/11/20
- Re: Identifying the face between STRETCH and right fringe.,
Robert Pluim <=
- Re: Identifying the face between STRETCH and right fringe., Eli Zaretskii, 2018/11/23
- Re: Identifying the face between STRETCH and right fringe., Robert Pluim, 2018/11/23
- Re: Identifying the face between STRETCH and right fringe., Eli Zaretskii, 2018/11/23
- Re: Identifying the face between STRETCH and right fringe., Robert Pluim, 2018/11/23
- Re: Identifying the face between STRETCH and right fringe., Eli Zaretskii, 2018/11/23
- Re: Identifying the face between STRETCH and right fringe., Robert Pluim, 2018/11/23
- Re: Identifying the face between STRETCH and right fringe., Eli Zaretskii, 2018/11/23
- Re: Identifying the face between STRETCH and right fringe., Robert Pluim, 2018/11/27
- Re: Identifying the face between STRETCH and right fringe., Eli Zaretskii, 2018/11/27
- Re: Identifying the face between STRETCH and right fringe., Robert Pluim, 2018/11/27