changeset 15332:008f373921e4

(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.
author Richard M. Stallman <rms@gnu.org>
date Tue, 04 Jun 1996 23:24:46 +0000
parents 8cf5ec9e5058
children 21a333789311
files src/w32term.c
diffstat 1 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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;