# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1206703006 0
# Node ID e4088593b00c00c1b40235cd7f38d905a5c8c819
# Parent  475182f565bace5cf0a5e822cc019ff71d7a1995
(Display Custom): Mention overlay-margin in text.

diff -r 475182f565ba -r e4088593b00c man/display.texi
--- a/man/display.texi	Wed Mar 26 22:57:42 2008 +0000
+++ b/man/display.texi	Fri Mar 28 11:16:46 2008 +0000
@@ -1226,7 +1226,7 @@
 displayed, by setting the variable @code{hourglass-delay}.
 
 @vindex overline-margin
-  On graphical display, this variables specifies the vertical position
+  On graphical display, the variable @code{overline-margin} specifies the vertical position
 of an overline above the text, including the height of the overline
 itself (1 pixel).  The default value is 2 pixels.