(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.

diff --git a/src/w32term.c b/src/w32term.c
index 849d3692f2f22aafabf3892386f1f8187b5e6451..350e07675af28cfbaf73ad9ccdd98d1abd42e84e 100644 (file)
--- 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;