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? _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
