# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 966535942 0
# Node ID 110ddcc483b6fcd2f8988c5a1254128fa846a78d
# Parent  6c3081f54e62c29c0891e577dbf8b10f6cd2930b
margin resource

diff -r 6c3081f54e62 -r 110ddcc483b6 man/cmdargs.texi
--- a/man/cmdargs.texi	Thu Aug 17 15:38:59 2000 +0000
+++ b/man/cmdargs.texi	Thu Aug 17 18:12:22 2000 +0000
@@ -1095,6 +1095,9 @@
 the associated text.  Default is 10.
 @item shadowThickness
 Thickness of shadow line around the widget.
+@item margin
+The margin of the menu bar in character widths.  The default of 4 makes
+the menu bar appear like the LessTif/Motif one.
 @end table
 
 @node Motif Resources