(Debugger Operation): Update GUD tooltip enable info.
This commit is contained in:
parent
418b505281
commit
43642a32e1
2 changed files with 10 additions and 4 deletions
|
@ -1,3 +1,7 @@
|
|||
2005-03-07 Richard M. Stallman <rms@gnu.org>
|
||||
|
||||
* building.texi (Debugger Operation): Update GUD tooltip enable info.
|
||||
|
||||
2005-03-06 Richard M. Stallman <rms@gnu.org>
|
||||
|
||||
* building.texi (Starting GUD): Don't explain text vs graphical
|
||||
|
|
|
@ -414,11 +414,13 @@ history commands to repeat them. @xref{Shell Mode}.
|
|||
|
||||
@cindex tooltips with GUD
|
||||
@vindex tooltip-gud-modes
|
||||
@vindex tooltip-gud-tips-p
|
||||
The Tooltip facility (@pxref{Tooltips}) provides support for GUD@.
|
||||
You activate this feature by customizing the @code{tooltip} group.
|
||||
Then you can display a variable's value in a tooltip simply by
|
||||
pointing at it with the mouse. This operates in the GUD buffer and in
|
||||
source buffers with major modes in the list @code{tooltip-gud-modes}.
|
||||
You activate this feature by setting the variable
|
||||
@code{tooltip-gud-tips-p} to @code{t}. Then you can display a
|
||||
variable's value in a tooltip simply by pointing at it with the mouse.
|
||||
This operates in the GUD buffer and in source buffers with major modes
|
||||
in the list @code{tooltip-gud-modes}.
|
||||
|
||||
@node Commands of GUD
|
||||
@subsection Commands of GUD
|
||||
|
|
Loading…
Add table
Reference in a new issue