diff options
| -rw-r--r-- | man/building.texi | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/man/building.texi b/man/building.texi index 47751d91968..b3c7fa4f2da 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -491,7 +491,8 @@ history commands to repeat them. @xref{Shell Mode}. | |||
| 491 | 491 | ||
| 492 | @cindex tooltips with GUD | 492 | @cindex tooltips with GUD |
| 493 | @vindex tooltip-gud-modes | 493 | @vindex tooltip-gud-modes |
| 494 | @vindex tooltip-gud-tips-p | 494 | @vindex gud-tooltip-mode |
| 495 | @vindex gud-tooltip-echo-area | ||
| 495 | The Tooltip facility (@pxref{Tooltips}) provides support for GUD@. | 496 | The Tooltip facility (@pxref{Tooltips}) provides support for GUD@. |
| 496 | You activate this feature by turning on the minor mode | 497 | You activate this feature by turning on the minor mode |
| 497 | @code{gud-tooltip-mode}. Then you can display a variable's value in a | 498 | @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, | |||
| 499 | with a C program, you can also display the @code{#define} directive | 500 | with a C program, you can also display the @code{#define} directive |
| 500 | associated with an identifier when the program is not executing. This | 501 | associated with an identifier when the program is not executing. This |
| 501 | operates in the GUD buffer and in source buffers with major modes in | 502 | operates in the GUD buffer and in source buffers with major modes in |
| 502 | the list @code{gud-tooltip-modes}. | 503 | the list @code{gud-tooltip-modes}. If the variable |
| 504 | @code{gud-tooltip-echo-area} is non-@code{nil} then the help text is | ||
| 505 | displayed in the echo area. | ||
| 503 | 506 | ||
| 504 | @node Commands of GUD | 507 | @node Commands of GUD |
| 505 | @subsection Commands of GUD | 508 | @subsection Commands of GUD |