From: Dave Love <fx@gnu.org>
Date: Wed, 12 Jul 2000 15:19:03 +0000 (+0000)
Subject: Menu help strings now used.
X-Git-Tag: emacs-pretest-21.0.90~2872
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=60c7ff3b9d9f60d5b19dc1e688092430555b12e9;p=emacs.git

Menu help strings now used.
---

diff --git a/lispref/keymaps.texi b/lispref/keymaps.texi
index 6576c3cd35f..68749792c49 100644
--- a/lispref/keymaps.texi
+++ b/lispref/keymaps.texi
@@ -1573,10 +1573,8 @@ You can also supply a second string, called the help string, as follows:
 (@var{item-string} @var{help-string} . @var{real-binding})
 @end example
 
-Currently Emacs does not actually use @var{help-string}; it knows only
-how to ignore @var{help-string} in order to extract @var{real-binding}.
-In the future we may use @var{help-string} as extended documentation for
-the menu item, available on request.
+@var{help-string} specifies a ``help-echo'' string to display while the
+mouse is on that item.
 
 As far as @code{define-key} is concerned, @var{item-string} and
 @var{help-string} are part of the event's binding.  However,
@@ -1659,8 +1657,8 @@ does not appear, then the menu is displayed as if this item were
 not defined at all.
 
 @item :help @var{help}
-The value of this property, @var{help}, is the extra help string (not
-currently used by Emacs).
+The value of this property, @var{help}, is the ``help-echo'' string to
+display while the mouse is on that item.
 
 @item :button (@var{type} . @var{selected})
 This property provides a way to define radio buttons and toggle buttons.