[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Extending GUD tooltips
From: |
Jérôme Marant |
Subject: |
Re: Extending GUD tooltips |
Date: |
Wed, 04 May 2005 18:57:19 +0200 |
User-agent: |
Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux) |
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