On 10/31/18 2:15 PM, Christian Weisgerber wrote:
On 2018-10-31, Stuart Henderson <s...@spacehopper.org> wrote:
No idea how ^4 is mapped to ^\, but for some reason it is,
This goes back to the VT220, if not older terminals. Ctrl-3 for
ESC aka ^[ is particularly handy if the Esc key is in some inconvenient
place as on most PC keyboards.
See "Table 3-5 Keys Used to Generate 7-Bit Control Characters" in
the VT220 Programmer Reference Manual:
https://vt100.net/docs/vt220-rm/table3-5.html
Looks like this is implemented by the different terminal emulators so it varies. For vte
(gnome-terminal, terminator, ...), it looks like this is the code that sets up this behavior:
https://github.com/GNOME/vte/blob/master/src/keymap.cc#L146
- Aner