# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 753772664 0
# Node ID 698acfd3faa328aa1d0875d6ff6e25feac712e3b
# Parent  a928c879b7ea8f6a6ef1af8dc7a3a4cba1ec7ee7
(follow_key): When downcasing, downcase just the
basic part of the character, and preserve the modifier bits.

diff -r a928c879b7ea -r 698acfd3faa3 src/keyboard.c
--- a/src/keyboard.c	Sat Nov 20 04:14:34 1993 +0000
+++ b/src/keyboard.c	Sat Nov 20 05:17:44 1993 +0000
@@ -3659,7 +3659,8 @@
       if (XINT (key) & shift_modifier)
 	XSETINT (key, XINT (key) & ~shift_modifier);
       else
-	XSETINT (key, DOWNCASE (XINT (key)));
+	XSETINT (key, (DOWNCASE (XINT (key) & 0x3ffff)
+		       | (XINT (key) & ~0x3ffff)));
 
       first_binding = nmaps;
       for (i = nmaps - 1; i >= 0; i--)