patch 8.2.0258: modifyOtherKeys cannot be temporarily disabled

Problem: ModifyOtherKeys cannot be temporarily disabled. Solution: Add echoraw() with an example for modifyOtherKeys.
2020-02-14 16:53:00 +01:00
parent 00f3b4e007
commit 4132eb505c
5 changed files with 56 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =

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