From 43642a32e1aee6054e2591ff1cce6447787a22fe Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Tue, 8 Mar 2005 02:46:08 +0000 Subject: [PATCH] (Debugger Operation): Update GUD tooltip enable info. --- man/ChangeLog | 4 ++++ man/building.texi | 10 ++++++---- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/man/ChangeLog b/man/ChangeLog index e529e8dfb97..91b452cd859 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,3 +1,7 @@ +2005-03-07 Richard M. Stallman + + * building.texi (Debugger Operation): Update GUD tooltip enable info. + 2005-03-06 Richard M. Stallman * building.texi (Starting GUD): Don't explain text vs graphical diff --git a/man/building.texi b/man/building.texi index 0adb55e38e7..a3e3e356c8e 100644 --- a/man/building.texi +++ b/man/building.texi @@ -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 -- 2.39.5