# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 944249924 0
# Node ID 73f718a9df4b3d61b08796bda1f0012d40a1073a
# Parent  da9a7292e4982b22277f267d7bc692394650ba7e
(Overlays): Add menu entry for Finding Overlays.

diff -r da9a7292e498 -r 73f718a9df4b lispref/display.texi
--- a/lispref/display.texi	Fri Dec 03 19:36:28 1999 +0000
+++ b/lispref/display.texi	Fri Dec 03 19:38:44 1999 +0000
@@ -712,7 +712,8 @@
 @menu
 * Overlay Properties::	How to read and set properties.
 			What properties do to the screen display.
-* Managing Overlays::   Creating, moving, finding overlays.
+* Managing Overlays::   Creating and moving overlays.
+* Finding Overlays::    Searching for overlays.
 @end menu
 
 @node Overlay Properties
@@ -1869,7 +1870,7 @@
 
 @noindent
 allows the use of scalable fonts with registry @code{muleindian-2}.
-@end example
+@end defvar
 
 @defun clear-face-cache &optional unload-p
 @tindex clear-face-cache