(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.
This commit is contained in:
Richard M. Stallman 1996-06-04 23:24:46 +00:00
parent c27f1e0119
commit 7e797bdb9b

View file

@ -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;