# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 803279983 0
# Node ID cd2e7821bbf589eac958429d0dc91259a2b2ba77
# Parent  5b8203bdfd6a1701160776d664e9aad9474beab1
(Fsubstitute_command_keys):
Check Voverriding_terminal_local_map before Voverriding_local_map.

diff -r 5b8203bdfd6a -r cd2e7821bbf5 src/doc.c
--- a/src/doc.c	Fri Jun 16 05:13:01 1995 +0000
+++ b/src/doc.c	Fri Jun 16 05:19:43 1995 +0000
@@ -553,7 +553,9 @@
      or a specified local map (which means search just that and the
      global map).  If non-nil, it might come from Voverriding_local_map,
      or from a \\<mapname> construct in STR itself..  */
-  keymap = Voverriding_local_map;
+  keymap = current_kboard->Voverriding_terminal_local_map;
+  if (NILP (keymap))
+    keymap = Voverriding_local_map;
 
   bsize = XSTRING (str)->size;
   bufp = buf = (unsigned char *) xmalloc (bsize);