# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 737905428 0
# Node ID c8997402dd6bc2717b14009ffa40b7e9b58cef7b
# Parent  7fa859245bd4232e43b83d79095651bf406bd4bc
(x_find_modifier_meanings): If some keys are meta and alt,
make them just meta, not alt.

diff -r 7fa859245bd4 -r c8997402dd6b src/xterm.c
--- a/src/xterm.c	Thu May 20 06:30:20 1993 +0000
+++ b/src/xterm.c	Thu May 20 13:43:48 1993 +0000
@@ -1505,6 +1505,13 @@
       x_alt_mod_mask = 0;
     }
 
+  /* If some keys are both alt and meta,
+     make them just meta, not alt.  */
+  if (x_alt_mod_mask & x_meta_mod_mask)
+    {
+      x_alt_mod_mask &= ~x_meta_mod_mask;
+    }
+  
   XFree ((char *) syms);
   XFreeModifiermap (mods);
 }