changeset 1841:338e4ffdb54b

(XTread_socket): Support extra_keyboard_modifiers.
author Richard M. Stallman <rms@gnu.org>
date Sun, 07 Feb 1993 00:30:36 +0000
parents b00ada422354
children 2cc82d6070e2
files src/xterm.c
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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