On Fri, Aug 21, 2020 at 2:11 PM Werner LEMBERG <[email protected]> wrote: > > >> > I don't think it is possible because grKeyF5 is 0x105, which > >> > would be wchar_t. It is either that or rethink and harmonize > >> > control keys more carefully. > >> > >> Could you invent something? Being able to insert functions keys > >> would be quite useful... > > > > We can map them onto printable 0xC1 through 0xCC and you will have > > to paste them into the command line. > > This would be quite ugly... > > What about using, say, `|` as a delimiter to enter strings? > > ab|F5|cde > > If necessary, character `|` could be entered as `||`.
We need something that is not a pipe command. Bash would except ab$'\xF2'cde This looks ok to me and does not require parsing. We only need to remap them from 0xF1 through 0xFC. Agreed?
