|
| From: | Richard Stallman |
| Subject: | Re: Extending GUD tooltips |
| Date: | Sat, 07 May 2005 14:35:43 -0400 |
GUD tooltips are now toggled by the minor mode gud-tooltip-mode
independenttly
of normal tooltips. However, in the manual it may still look as if they
depend
on tooltip-mode being enabled. You might want to change this.
Would you please change this in the manual?
| [Prev in Thread] | Current Thread | [Next in Thread] |