On 2/3/22 12:36, Chet Ramey wrote:
An alternative idea: A user-settable highlight style for the *entire*
active input area - pasted text as well a directy-typed characters.
Even better: Two user-selectable styles, one for the current active
input area,
and one for previous input areas. (Once you type Enter, the highlight
style
of the input area is changed from the current-input to previous-input
style.)
I've implemented support for something like this in my DomTerm
terminal emulator, and I think it is pretty nice.
What's the `active input area'? A series of characters bound to self-
insert? And what delimits it? A character bound to an editing command?
By "active input area" I mean the text in the terminal that can be edited:
what gets sent to the application on Enter. More precisely, the section
of the visible terminal corresponding to that text. The area after the
prompt,
and up to the last entered (or pasted) character.