> This solves enough problems that I think it can be installed now. I've installed these changes. I've added an entry in NEWS and partly updated the Emacs manual.
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. Nick _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
