| Sun, 22 Dec 2002 00:21:06 +0000 |
Nick Roberts |
(tooltip-gud-tips): Output tooltip without switching
|
| Wed, 04 Dec 2002 11:43:05 +0000 |
Richard M. Stallman |
(tooltip-gud-tips-p): Undo previous change.
|
| Sat, 30 Nov 2002 20:58:38 +0000 |
Nick Roberts |
(tooltip-gud-process-output): Handle annotations that
|
| Fri, 29 Nov 2002 15:06:01 +0000 |
Richard M. Stallman |
(tooltip-gud-tips-p): Doc fix.
|
| Thu, 28 Nov 2002 21:26:25 +0000 |
Nick Roberts |
(tooltip-gud-tips-setup): Remove.
|
| Sat, 23 Nov 2002 14:10:19 +0000 |
Nick Roberts |
(tooltip-gud-print-command): Add server prefix to the
|
| Wed, 26 Jun 2002 08:52:31 +0000 |
Richard M. Stallman |
(tooltip-x-offset, tooltip-y-offset): Doc fixes.
|
| Wed, 29 May 2002 16:38:06 +0000 |
Richard M. Stallman |
(tooltip-mouse-motions-active): New variable.
|
| Sat, 11 May 2002 08:19:36 +0000 |
Pavel Jank |
Fix typo.
|
| Sun, 13 Jan 2002 10:09:20 +0000 |
Pavel Jank |
Fix typo.
|
| Sat, 03 Nov 2001 16:59:11 +0000 |
Eli Zaretskii |
(tooltip-delay): Decrease to 0.7.
|
| Sat, 27 Oct 2001 15:08:48 +0000 |
Gerd Moellmann |
Remove installation instructions. There's nothing to do.
|
| Mon, 22 Oct 2001 10:02:14 +0000 |
Eli Zaretskii |
(tooltip-set-param): Doc fix.
|
| Mon, 22 Oct 2001 08:53:17 +0000 |
Eli Zaretskii |
(tooltip-x-offset, tooltip-y-offset): Mention in the
|
| Wed, 16 May 2001 14:53:37 +0000 |
Gerd Moellmann |
(tooltip) <defgroup>: Put it in `gud' group instead
|
