# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 841851517 0
# Node ID ec5f48fe0320a6c7fdc6354be19ae31255828268
# Parent  9fe39bafd20e9f6a143a0f9847b6e0443f994d0f
Mention local-value property on an overlay.

diff -r 9fe39bafd20e -r ec5f48fe0320 lispref/display.texi
--- a/lispref/display.texi	Wed Sep 04 15:20:19 1996 +0000
+++ b/lispref/display.texi	Wed Sep 04 15:38:37 1996 +0000
@@ -730,6 +730,13 @@
 @kindex evaporate @r{(overlay property)}
 If this property is non-@code{nil}, the overlay is deleted automatically
 if it ever becomes empty (i.e., if it spans no characters).
+
+@item local-map
+@cindex keymap of character
+@kindex local-map @r{(text property)}
+If this property is non-@code{nil}, it specifies a keymap for a portion
+of the text.  The property's value replaces the buffer's local map, when
+the character after point is within the overlay.  @xref{Active Keymaps}.
 @end table
 
   These are the functions for reading and writing the properties of an