# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 806109479 0
# Node ID 284b8763066d314a5f95bdf1e7c2c3601dbfb5d0
# Parent  43ebbbe0299f5f018d5e20f71f5a358e7bd9065b
Document overriding-terminal-local-map.

diff -r 43ebbbe0299f -r 284b8763066d lispref/keymaps.texi
--- a/lispref/keymaps.texi	Tue Jul 18 23:07:23 1995 +0000
+++ b/lispref/keymaps.texi	Tue Jul 18 23:17:59 1995 +0000
@@ -597,6 +597,16 @@
 not handle by ``unreading'' them and exiting.
 @end defvar
 
+@defvar overriding-terminal-local-map
+If non-@code{nil}, this variable holds a keymap to use instead of
+@code{overriding-local-map}, the buffer's local keymap and all the minor
+mode keymaps.
+
+This variable is always local to the current terminal and cannot be
+buffer-local.  @xref{Multiple Displays}.  It is used to implement
+incremental search mode.
+@end defvar
+
 @node Key Lookup
 @section Key Lookup
 @cindex key lookup