Fixes eclipse-theia#7315

This adds an exception to `KeyCode.toKey` regarding special keys on numpads Signed-off-by: Gero Posmyk-Leinemann <[email protected]>
ARMmbed · Jul 4, 2020 · aee458d · aee458d
1 parent 05add6b
commit aee458d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/packages/core/src/browser/keyboard/keys.ts b/packages/core/src/browser/keyboard/keys.ts
@@ -344,6 +344,15 @@ export namespace KeyCode {
                     return Key.INTL_BACKSLASH;
                 }
             }
+
+            // https://github.com/eclipse-theia/theia/issues/7315
+            if (code.startsWith('Numpad') && event.key && event.key.length > 1) {
+                const k = Key.getKey(event.key);
+                if (k) {
+                    return k;
+                }
+            }
+
             const key = Key.getKey(code);
             if (key) {
                 return key;