face for selection

[Per Bothner]

I took at look at bash-5.1/readline-8.1 and I couldn't find much information
about the "faces" feature and how it works with the region.

One question/possibility that occurred to me: Would it be possible to bind
the region to the system (primary) selection, the way Emacs does it?
Perhaps a setting so bash can emit an escape sequence to indicate the
start of the region, and another sequence to indicate the end?
Then a terminal emulator could use those escape sequence to indicate that
the region is the selection, and it would highlight it in whatever
manner to normally highlights the selection.  The terminal menu's Edit/Copy
would be able to use that bash region, as would its appropriate escape sequence
(commonly Ctrl-Shift-C).  Middle-click-paste would paste the region.

(I'd be happy to implement the needed support in DomTerm https://domterm.org )

The "opposite" feature is when the user selections a region with the mouse,
the terminal emulator can send appropriate escape sequences so bash
can set the region appropriately.  (In this case you'd want bash to use
use the system selection highlighting for the region so the bash highlighting
doesn't conflict with the terminal's selection highlighting.)  I don't know
how difficult that would be, but probably easy assuming suitable readline 
keybindings
could be used to set/unset the mark, and if the terminal knows how to move
the position on a mouse click (see below).

(The above set-region-from-mouse-selection feature works best if you can also 
move
the position with a mouse click.  This works in DomTerm, in the appropriate 
mode:
on a mouse click DomTerm sends the needed arrow-key sequences to move the 
readline
position to match.  The iTerm2 terminal supports a similar feature, but only 
when
you also press the Option key.)
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/