Merge pull request #659 from ivanp7/patch-1

Add alternative key codes for Delete, Insert, Home, End
This commit is contained in:
Jakob P. Liljenberg 2023-11-15 21:43:18 +01:00 committed by GitHub
commit 0267eba2bb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -55,9 +55,13 @@ namespace Input {
{"[C", "right"},
{"OC", "right"},
{"[2~", "insert"},
{"[4h", "insert"},
{"[3~", "delete"},
{"[P", "delete"},
{"[H", "home"},
{"[1~", "home"},
{"[F", "end"},
{"[4~", "end"},
{"[5~", "page_up"},
{"[6~", "page_down"},
{"\t", "tab"},