Add alternative key codes for Insert, Home, End

This commit is contained in:
vân 2023-11-07 15:12:27 +00:00 committed by GitHub
parent f9452ff6d5
commit e81cf2b7ff
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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