(Debugger Operation): Describe gud-tooltip-echo-area.

diff --git a/man/building.texi b/man/building.texi
index 47751d919689646493ee0bfcac499f95529c6b7f..b3c7fa4f2da166a107f995566e73045fbb8f453a 100644 (file)
--- a/man/building.texi
+++ b/man/building.texi
@@ -491,7 +491,8 @@ history commands to repeat them.  @xref{Shell Mode}.
 
 @cindex tooltips with GUD
 @vindex tooltip-gud-modes
-@vindex tooltip-gud-tips-p
+@vindex gud-tooltip-mode
+@vindex gud-tooltip-echo-area
   The Tooltip facility (@pxref{Tooltips}) provides support for GUD@.
 You activate this feature by turning on the minor mode
 @code{gud-tooltip-mode}.  Then you can display a variable's value in a
@@ -499,7 +500,9 @@ tooltip simply by pointing at it with the mouse.  In graphical mode,
 with a C program, you can also display the @code{#define} directive
 associated with an identifier when the program is not executing.  This
 operates in the GUD buffer and in source buffers with major modes in
-the list @code{gud-tooltip-modes}.
+the list @code{gud-tooltip-modes}.  If the variable
+@code{gud-tooltip-echo-area} is non-@code{nil} then the help text is
+displayed in the echo area.
 
 @node Commands of GUD
 @subsection Commands of GUD