Richard Stallman <[EMAIL PROTECTED]> writes: > GUD tooltips need some disentangling from the normal tooltips. They're > coded > differently and GUD tooltips shouldn't need tooltip-mode enabled to work: > it > should be possble to toggle them independently. After that is done, it > should be straightforward to put the code for GUD tooltips into gud.el. > > I might try this one day, after the release, but would be more than happy > if someone else wants to do it. > > Indeed, if this is complex, it should wait.
How about adding an entry to etc/TODO? -- Jérôme Marant _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
