# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 729045036 0
# Node ID 338e4ffdb54b44b5ee4a506db97016aa8465f35c
# Parent  b00ada42235441b13d5a7bc8fd8387fe699a97b9
(XTread_socket): Support extra_keyboard_modifiers.

diff -r b00ada422354 -r 338e4ffdb54b src/xterm.c
--- a/src/xterm.c	Fri Feb 05 23:42:43 1993 +0000
+++ b/src/xterm.c	Sun Feb 07 00:30:36 1993 +0000
@@ -258,6 +258,9 @@
 
 extern int errno;
 
+/* See keyboard.c.  */
+extern int extra_keyboard_modifiers;
+
 extern Display *XOpenDisplay ();
 extern Window XCreateWindow ();
 
@@ -2679,7 +2682,10 @@
 	    {
 	      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