[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: |
Sun, 12 Apr 2020 21:23:05 -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 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.
> That's an intriguing patch format, may I inquire as to how it was generated
> (some unusual 'diff' args?) ?
That's OG BSD context diff format (diff -c), which dates from 1981. I find
it easier to read than unified or `git' format.
Chet
--
``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/11
- Re: [PATCH] Add active mark, face support; activate mark on paste, Chet Ramey, 2020/04/11
- 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/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 <=
- 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, 2020/04/13
- 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