[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add active mark, face support; activate mark on paste
From: |
Chet Ramey |
Subject: |
Re: [PATCH] Add active mark, face support; activate mark on paste |
Date: |
Mon, 13 Apr 2020 09:09:21 -0400 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 4/12/20 11:04 PM, Daniel Colascione wrote:
> On 4/12/20 6:23 PM, Chet Ramey wrote:
>> On 4/12/20 2:15 PM, gentoo_eshoes@tutanota.com wrote:
>>
>>> There is one more/different 'face' issue: if I paste a line and then
>>> press Enter (as opposed to any alphanumeric key or arrow keys) then the
>>> highlight remains(highlighted), possibly because the ^M is echoed and
>>> thus moves the cursor one line up(?) before the highlight is attempted
>>> to be removed. But I'm just guessing.
>>
>> Unsurprising. The highlights are added and removed in readline's redisplay.
>> Once you enter newline (or any key bound to accept-line), readline returns
>> the line immediately without any redisplay, so the line remains as is.
>
> Is that a regression relative to my original patch? I could have sworn I
> made command submission deactivate the mark and redisplay, but maybe I'm
> recalling incorrectly. In any case, isn't that the right thing to do?
I'll look. In the meantime, what do you think about the behavior when
pasting more than a screenful of text?
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU chet@case.edu http://tiswww.cwru.edu/~chet/
- Re: [PATCH] Add active mark, face support; activate mark on paste, (continued)
- Re: [PATCH] Add active mark, face support; activate mark on paste, gentoo_eshoes, 2020/04/12
- Re: [PATCH] Add active mark, face support; activate mark on paste, gentoo_eshoes, 2020/04/14
- Re: [PATCH] Add active mark, face support; activate mark on paste, Chet Ramey, 2020/04/14
- Re: [PATCH] Add active mark, face support; activate mark on paste, gentoo_eshoes, 2020/04/15
- Re: [PATCH] Add active mark, face support; activate mark on paste, Chet Ramey, 2020/04/15
- Re: [PATCH] Add active mark, face support; activate mark on paste, Chet Ramey, 2020/04/12
- Re: [PATCH] Add active mark, face support; activate mark on paste, gentoo_eshoes, 2020/04/12
- Re: [PATCH] Add active mark, face support; activate mark on paste, Chet Ramey, 2020/04/12
- Re: [PATCH] Add active mark, face support; activate mark on paste, Daniel Colascione, 2020/04/12
- Re: [PATCH] Add active mark, face support; activate mark on paste, gentoo_eshoes, 2020/04/13
- Re: [PATCH] Add active mark, face support; activate mark on paste,
Chet Ramey <=
- Re: [PATCH] Add active mark, face support; activate mark on paste, Ángel, 2020/04/15
- Re: [PATCH] Add active mark, face support; activate mark on paste, Daniel Colascione, 2020/04/15