Commit Diff


commit - cd30203418480dcc3074dc4aef54d5b0e23b236c
commit + 4c44f8c0b11f7403c493b3924d77b750e990eb97
blob - e02cece62f0de1b616626e924390d2483a7ae497
blob + d2b6ccc26dfcecea5982c7885fe3254231d9784f
--- keymap.c
+++ keymap.c
@@ -35,6 +35,71 @@ static struct keytable {
 	{ "<home>",	KEY_HOME },
 	{ "<end>",	KEY_END },
 	/* ... */
+	{ "<f0>",	KEY_F(0) },
+	{ "<f1>",	KEY_F(1) },
+	{ "<f2>",	KEY_F(2) },
+	{ "<f3>",	KEY_F(3) },
+	{ "<f4>",	KEY_F(4) },
+	{ "<f5>",	KEY_F(5) },
+	{ "<f6>",	KEY_F(6) },
+	{ "<f7>",	KEY_F(7) },
+	{ "<f8>",	KEY_F(8) },
+	{ "<f9>",	KEY_F(9) },
+	{ "<f10>",	KEY_F(10) },
+	{ "<f11>",	KEY_F(11) },
+	{ "<f12>",	KEY_F(12) },
+	{ "<f13>",	KEY_F(13) },
+	{ "<f14>",	KEY_F(14) },
+	{ "<f15>",	KEY_F(15) },
+	{ "<f16>",	KEY_F(16) },
+	{ "<f17>",	KEY_F(17) },
+	{ "<f18>",	KEY_F(18) },
+	{ "<f19>",	KEY_F(19) },
+	{ "<f20>",	KEY_F(20) },
+	{ "<f21>",	KEY_F(21) },
+	{ "<f22>",	KEY_F(22) },
+	{ "<f23>",	KEY_F(23) },
+	{ "<f24>",	KEY_F(24) },
+	{ "<f25>",	KEY_F(25) },
+	{ "<f26>",	KEY_F(26) },
+	{ "<f27>",	KEY_F(27) },
+	{ "<f28>",	KEY_F(28) },
+	{ "<f29>",	KEY_F(29) },
+	{ "<f30>",	KEY_F(30) },
+	{ "<f31>",	KEY_F(31) },
+	{ "<f32>",	KEY_F(32) },
+	{ "<f33>",	KEY_F(33) },
+	{ "<f34>",	KEY_F(34) },
+	{ "<f35>",	KEY_F(35) },
+	{ "<f36>",	KEY_F(36) },
+	{ "<f37>",	KEY_F(37) },
+	{ "<f38>",	KEY_F(38) },
+	{ "<f39>",	KEY_F(39) },
+	{ "<f40>",	KEY_F(40) },
+	{ "<f41>",	KEY_F(41) },
+	{ "<f42>",	KEY_F(42) },
+	{ "<f43>",	KEY_F(43) },
+	{ "<f44>",	KEY_F(44) },
+	{ "<f45>",	KEY_F(45) },
+	{ "<f46>",	KEY_F(46) },
+	{ "<f47>",	KEY_F(47) },
+	{ "<f48>",	KEY_F(48) },
+	{ "<f49>",	KEY_F(49) },
+	{ "<f50>",	KEY_F(50) },
+	{ "<f51>",	KEY_F(51) },
+	{ "<f52>",	KEY_F(52) },
+	{ "<f53>",	KEY_F(53) },
+	{ "<f54>",	KEY_F(54) },
+	{ "<f55>",	KEY_F(55) },
+	{ "<f56>",	KEY_F(56) },
+	{ "<f57>",	KEY_F(57) },
+	{ "<f58>",	KEY_F(58) },
+	{ "<f59>",	KEY_F(59) },
+	{ "<f60>",	KEY_F(60) },
+	{ "<f61>",	KEY_F(61) },
+	{ "<f62>",	KEY_F(62) },
+	{ "<f63>",	KEY_F(63) },
+	/* ... */
 	{ "del",	KEY_BACKSPACE },
 	{ "esc",	27 },
 	{ "space",	' ' },