From 7e797bdb9b62cd627871087d881d6e73c6fe7b33 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Tue, 4 Jun 1996 23:24:46 +0000 Subject: [PATCH] (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. --- src/w32term.c | 8 ++++++-- 1 file 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; -- 2.39.2