|
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] |