# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 833930686 0
# Node ID 008f373921e420a363093cf5ecf7b910915ffba2
# Parent  8cf5ec9e505805b588b2eaf1e4d9543551956041
(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 -r 8cf5ec9e5058 -r 008f373921e4 src/w32term.c
--- a/src/w32term.c	Tue Jun 04 21:51:59 1996 +0000
+++ b/src/w32term.c	Tue Jun 04 23:24:46 1996 +0000
@@ -2480,8 +2480,12 @@
 		      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;