comparison man/building.texi @ 60493:f8557889a5f1

(Debugger Operation): Update GUD tooltip enable info.
author Richard M. Stallman <rms@gnu.org>
date Tue, 08 Mar 2005 02:45:50 +0000
parents c82b8f53ded0
children 362e4cd2e9f8 29e773288013
comparison
equal deleted inserted replaced
60492:c17cdf5decaa 60493:f8557889a5f1
412 commands for your debugger are available, and you can use the Shell mode 412 commands for your debugger are available, and you can use the Shell mode
413 history commands to repeat them. @xref{Shell Mode}. 413 history commands to repeat them. @xref{Shell Mode}.
414 414
415 @cindex tooltips with GUD 415 @cindex tooltips with GUD
416 @vindex tooltip-gud-modes 416 @vindex tooltip-gud-modes
417 @vindex tooltip-gud-tips-p
417 The Tooltip facility (@pxref{Tooltips}) provides support for GUD@. 418 The Tooltip facility (@pxref{Tooltips}) provides support for GUD@.
418 You activate this feature by customizing the @code{tooltip} group. 419 You activate this feature by setting the variable
419 Then you can display a variable's value in a tooltip simply by 420 @code{tooltip-gud-tips-p} to @code{t}. Then you can display a
420 pointing at it with the mouse. This operates in the GUD buffer and in 421 variable's value in a tooltip simply by pointing at it with the mouse.
421 source buffers with major modes in the list @code{tooltip-gud-modes}. 422 This operates in the GUD buffer and in source buffers with major modes
423 in the list @code{tooltip-gud-modes}.
422 424
423 @node Commands of GUD 425 @node Commands of GUD
424 @subsection Commands of GUD 426 @subsection Commands of GUD
425 427
426 The GUD interaction buffer uses a variant of Shell mode, so the 428 The GUD interaction buffer uses a variant of Shell mode, so the