# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1142090703 0
# Node ID 08d3f0c89d4961a4c0aab72b1e044be6b4c61850
# Parent  f40201ca30bfe6a3ed30e5f3bdae4fecd442c587
(describe_map): Shorten string to indicate shadowed binding.

diff -r f40201ca30bf -r 08d3f0c89d49 src/keymap.c
--- a/src/keymap.c	Sat Mar 11 15:24:02 2006 +0000
+++ b/src/keymap.c	Sat Mar 11 15:25:03 2006 +0000
@@ -3371,7 +3371,7 @@
       if (vect[i].shadowed)
 	{
 	  SET_PT (PT - 1);
-	  insert_string ("  (binding currently shadowed)");
+	  insert_string ("  (shadowed)");
 	  SET_PT (PT + 1);
 	}
     }