diff options
| -rw-r--r-- | src/dev/ps2.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/dev/ps2.cc b/src/dev/ps2.cc index dbcdfcaec..0d973ad70 100644 --- a/src/dev/ps2.cc +++ b/src/dev/ps2.cc @@ -174,6 +174,13 @@ keySymToPs2(uint32_t key, bool down, bool &cur_shift, extended = true; keys.push_back(0x14); break; + case XK_Alt_L: + keys.push_back(0x11); + break; + case XK_Alt_R: + extended = true; + keys.push_back(0x11); + break; default: warn("Unknown extended key %#x\n", key); return; |