Re: Extending GUD tooltips

[Jérôme Marant]

Richard Stallman <address@hidden> 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