# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 809450802 0
# Node ID 271dc8563a9184f0fd5d79c7ea0c75c02dcd1081
# Parent  14e16370799df6af714ed830ca3ba61f7e3885ec
(modifier_names): Add 4 bits to modifier bit positions.

diff -r 14e16370799d -r 271dc8563a91 src/keyboard.c
--- a/src/keyboard.c	Fri Aug 25 21:34:09 1995 +0000
+++ b/src/keyboard.c	Sat Aug 26 15:26:42 1995 +0000
@@ -3650,7 +3650,7 @@
 static char *modifier_names[] =
 {
   "up", "down", "drag", "click", "double", "triple", 0, 0,
-  0, 0, 0, 0, 0, 0, 0, 0,
+  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
   0, 0, "alt", "super", "hyper", "shift", "control", "meta"
 };
 #define NUM_MOD_NAMES (sizeof (modifier_names) / sizeof (modifier_names[0]))