2.9.9

mintty · Mar 16, 2019 · 570636d · 570636d
1 parent 7708735
commit 570636d
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 4 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-2.9.8
+2.9.9
diff --git a/lang/messages.pot b/lang/messages.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: mintty\n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2019-03-15 10:50+0100\n"
+"POT-Creation-Date: 2019-03-16 07:11+0100\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <LL@li.org>\n"

diff --git a/src/appinfo.h b/src/appinfo.h
@@ -6,7 +6,7 @@
 
 #define MAJOR_VERSION  2
 #define MINOR_VERSION  9
-#define PATCH_NUMBER   8
+#define PATCH_NUMBER   9
 #define BUILD_NUMBER   0
 
 // needed for res.rc

diff --git a/src/wininput.c b/src/wininput.c
@@ -2685,7 +2685,7 @@ static struct {
         modify_other_key();
       else if (char_key())
         trace_key("char");
-      else if (term.modify_other_keys > 1)
+      else if (term.modify_other_keys > 1 || (term.modify_other_keys && altgr))
         // handle Alt+space after char_key, avoiding undead_ glitch;
         // also handle combinations like Ctrl+AltGr+e
         modify_other_key();

diff --git a/wiki/Changelog.md b/wiki/Changelog.md
@@ -1,3 +1,8 @@
+### 2.9.9 (16 March 2019) ###
+
+Keyboard handling
+  * Fixed modifyOtherKeys mode 1 to use verbatim control keys.
+
 ### 2.9.8 (15 March 2019) ###
 
 Unicode and Emoji data