On 4/12/20 2:15 PM, gentoo_esh...@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 c...@case.edu http://tiswww.cwru.edu/~chet/
