patch 8.1.2142: some key mappings do not work with modifyOtherKeys

Problem: Some key mappings do not work with modifyOtherKeys. Solution: Remove the Shift modifier if it is already included in the key.
2019-10-12 18:22:50 +02:00
parent e8070987c6
commit d1e2f3984a
3 changed files with 51 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -753,6 +753,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    2142,
 /**/
    2141,
 /**/