(w32_read_socket): If the dead key was produced using

AltGr and has a valid AltGr scan code, it's a valid key and
should not be discarded.

1 files changed, 6 insertions, 2 deletions

diff --git a/src/w32term.c b/src/w32term.c
index 849d3692f2f..350e07675af 100644
--- a/src/w32term.c
+++ b/src/w32term.c
@@ -2480,8 +2480,12 @@ w32_read_socket (sd, bufp, numchars, waitp, expected)
                       add = 1;
                     }
 
-                  /* Throw dead keys away.  */
-                  if (is_dead_key (msg.msg.wParam))
+                  /* Throw dead keys away.  However, be sure not to
+                     throw away the dead key if it was produced using
+                     AltGr and there is a valid AltGr scan code for
+                     this key.  */
+                  if (is_dead_key (msg.msg.wParam) 
+                      && !((VkKeyScan (bufp->code) & 0xff00) == 0x600))
                     break;
 
                   bufp += add;