diff options
| -rw-r--r-- | man/xresmini.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/xresmini.texi b/man/xresmini.texi index bf791a59e36..3c299d5b6ce 100644 --- a/man/xresmini.texi +++ b/man/xresmini.texi | |||
| @@ -131,8 +131,8 @@ Additional space (@dfn{leading}) between lines, in pixels. | |||
| 131 | @item @code{menuBar} (class @code{MenuBar}) | 131 | @item @code{menuBar} (class @code{MenuBar}) |
| 132 | @cindex menu bar | 132 | @cindex menu bar |
| 133 | Give frames menu bars if @samp{on}; don't have menu bars if | 133 | Give frames menu bars if @samp{on}; don't have menu bars if |
| 134 | @samp{off}. @xref{Lucid Resources}, and @ref{LessTif Resources}, for | 134 | @samp{off}. @xref{Lucid Resources}, for how to control the appearance |
| 135 | how to control the appearance of the menu bar if you have one. | 135 | of the menu bar if you have one. |
| 136 | 136 | ||
| 137 | @item @code{pointerColor} (class @code{Foreground}) | 137 | @item @code{pointerColor} (class @code{Foreground}) |
| 138 | Color of the mouse cursor. | 138 | Color of the mouse cursor. |