From b68e3c85b97b91f1112ce08e29ce338a0091d81c Mon Sep 17 00:00:00 2001 From: Luflosi Date: Fri, 30 Aug 2019 12:37:23 +0200 Subject: [PATCH] Add missing MENU key to key_encoding.py --- kitty/key_encoding.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/kitty/key_encoding.py b/kitty/key_encoding.py index 43acc9bcd..edb5d2de1 100644 --- a/kitty/key_encoding.py +++ b/kitty/key_encoding.py @@ -129,7 +129,8 @@ ENCODING = { 'Y': 'q', 'Z': 'r', 'PLUS': 'Bi', - 'UNDERSCORE': 'Bj' + 'UNDERSCORE': 'Bj', + 'MENU': 'Bk' } KEY_MAP = { 32: 'A', @@ -252,7 +253,8 @@ KEY_MAP = { 344: 'Be', 345: 'Bf', 346: 'Bg', - 347: 'Bh' + 347: 'Bh', + 348: 'Bk' } # END_ENCODING }}}