# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1105645389 0
# Node ID 864cb3ebda07f0d8800cf12e9d6639e7facf9965
# Parent  e51199adcfb05dffb2d3054765696ba55900b91b
(syms_of_keyboard): Doc fix.

diff -r e51199adcfb0 -r 864cb3ebda07 src/keyboard.c
--- a/src/keyboard.c	Thu Jan 13 14:51:57 2005 +0000
+++ b/src/keyboard.c	Thu Jan 13 19:43:09 2005 +0000
@@ -11269,14 +11269,15 @@
 		 doc: /* Per-terminal keymap that overrides all other local keymaps.
 If this variable is non-nil, it is used as a keymap instead of the
 buffer's local map, and the minor mode keymaps and text property keymaps.
-It also overrides `overriding-local-map'.
+It also replaces `overriding-local-map'.
+
 This variable is intended to let commands such as `universal-argument'
 set up a different keymap for reading the next command.  */);
 
   DEFVAR_LISP ("overriding-local-map", &Voverriding_local_map,
 	       doc: /* Keymap that overrides all other local keymaps.
-If this variable is non-nil, it is used as a keymap instead of the
-buffer's local map, and the minor mode keymaps and text property keymaps.  */);
+If this variable is non-nil, it is used as a keymap--replacing the
+buffer's local map, the minor mode keymaps, and char property keymaps.  */);
   Voverriding_local_map = Qnil;
 
   DEFVAR_LISP ("overriding-local-map-menu-flag", &Voverriding_local_map_menu_flag,