diff options
author | Richard M. Stallman <[email protected]> | 1993-02-07 00:30:36 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 1993-02-07 00:30:36 +0000 |
commit | 64bb1782c4a618179514edc30d34753605752a17 (patch) | |
tree | 0c87d9b1a59e981f80174802823901d1072b7fff /src | |
parent | 096fbe81fafee42a737e7e6a2b6e9b92ad9ba0ca (diff) |
(XTread_socket): Support extra_keyboard_modifiers.
Diffstat (limited to 'src')
-rw-r--r-- | src/xterm.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/xterm.c b/src/xterm.c index 712a64ac26..839ba6d702 100644 --- a/src/xterm.c +++ b/src/xterm.c @@ -258,6 +258,9 @@ static WINDOWINFO_TYPE windowinfo; extern int errno; +/* See keyboard.c. */ +extern int extra_keyboard_modifiers; + extern Display *XOpenDisplay (); extern Window XCreateWindow (); @@ -2679,7 +2682,10 @@ XTread_socket (sd, bufp, numchars, waitp, expected) { KeySym keysym; char copy_buffer[80]; - int modifiers = event.xkey.state; + int modifiers; + + event.xkey.state |= extra_keyboard_modifiers; + modifiers = event.xkey.state; /* Some keyboards generate different characters depending on the state of the meta key, in an attempt |