From 2d4454dab488ad52363a1da39f12b0792b4b85b5 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 2 Aug 2014 18:06:10 +0400 Subject: [PATCH] Fix menu/meta mixup --- misc/keys.txt | 4 ++-- wsi.ml | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/misc/keys.txt b/misc/keys.txt index e23df08..1cc9d38 100644 --- a/misc/keys.txt +++ b/misc/keys.txt @@ -1,7 +1,7 @@ - - + + diff --git a/wsi.ml b/wsi.ml index fd53df6..cfc1744 100644 --- a/wsi.ml +++ b/wsi.ml @@ -1219,6 +1219,7 @@ let xlatt, xlatf = add "backspace" [] 0xff08; add "up" [] 0xff52; add "down" [] 0xff54; + add "menu" [] 0xff67; t, f; ;; -- 2.11.4.GIT