| Fri, 17 Dec 2004 15:16:33 +0000 |
Kim F. Storm |
(tooltip-show-help-function): Replace "mouse-2"
|
| Thu, 25 Nov 2004 02:55:37 +0000 |
Richard M. Stallman |
(tooltip-mode): Doc fix.
|
| Fri, 12 Nov 2004 00:14:24 +0000 |
Nick Roberts |
(require): Explain why CL is needed.
|
| Thu, 11 Nov 2004 22:58:14 +0000 |
Stefan Monnier |
Require CL.
|
| Wed, 10 Nov 2004 06:47:35 +0000 |
Nick Roberts |
Don't require cl, comint, gud, gdb-ui for
|
| Mon, 01 Sep 2003 15:45:59 +0000 |
Miles Bader |
Add arch taglines
|
| Wed, 23 Jul 2003 11:37:13 +0000 |
John Paul Wallington |
(defface tooltip): Inherit from variable-pitch.
|
| Tue, 04 Feb 2003 12:29:42 +0000 |
Juanma Barranquero |
Trailing whitespace deleted.
|
| 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.
|
