From 318e08d914e7e1893800d7d61a7188697b13bce2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Camilla=20L=C3=B6wy?= <elmindreda@elmindreda.org>
Date: Thu, 23 Apr 2020 17:42:36 +0200
Subject: [PATCH] X11: Add additional XKB key names for Right Alt

---
 src/x11_init.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/x11_init.c b/src/x11_init.c
index 4f1bef9c..84906183 100644
--- a/src/x11_init.c
+++ b/src/x11_init.c
@@ -335,6 +335,8 @@ static void createKeyTables(void)
             { GLFW_KEY_RIGHT_SHIFT, "RTSH" },
             { GLFW_KEY_RIGHT_CONTROL, "RCTL" },
             { GLFW_KEY_RIGHT_ALT, "RALT" },
+            { GLFW_KEY_RIGHT_ALT, "LVL3" },
+            { GLFW_KEY_RIGHT_ALT, "MDSW" },
             { GLFW_KEY_RIGHT_SUPER, "RWIN" },
             { GLFW_KEY_MENU, "MENU" }
         };