# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 731535532 0
# Node ID 0c95942fc8da4afabc13893183bc9cf2e3d6ff79
# Parent  9234ebe088c96f22b3853193e747514eb632ffc2
(read_key_sequence):
Use meta_modifier for meta keys when handling function_key_map.

diff -r 9234ebe088c9 -r 0c95942fc8da src/keyboard.c
--- a/src/keyboard.c	Sun Mar 07 20:17:27 1993 +0000
+++ b/src/keyboard.c	Sun Mar 07 20:18:52 1993 +0000
@@ -3498,7 +3498,7 @@
 	      key = keybuf[fkey_end++];
 	      /* Look up meta-characters by prefixing them
 		 with meta_prefix_char.  I hate this.  */
-	      if (XTYPE (key) == Lisp_Int && XINT (key) & 0x80)
+	      if (XTYPE (key) == Lisp_Int && XINT (key) & meta_modifier)
 		{
 		  fkey_next =
 		    get_keymap_1
@@ -3506,7 +3506,7 @@
 		       (access_keymap
 			(fkey_map, meta_prefix_char, 1)),
 		       0, 1);
-		  XFASTINT (key) = XFASTINT (key) & 0x7f;
+		  XFASTINT (key) = XFASTINT (key) & ~meta_modifier;
 		}
 	      else
 		fkey_next = fkey_map;