changeset 80380:e4088593b00c

(Display Custom): Mention overlay-margin in text.
author Jason Rumney <jasonr@gnu.org>
date Fri, 28 Mar 2008 11:16:46 +0000
parents 475182f565ba
children e269fd8e658f
files man/display.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.