| Thu, 31 Mar 2005 10:10:39 +0000 |
Kim F. Storm |
(tooltip-show-help-function): Don't fixup message here.
|
| Wed, 30 Mar 2005 08:33:43 +0000 |
Nick Roberts |
(tooltip-gud-display): Use gud-overlay-arrow-position.
|
| Tue, 22 Mar 2005 21:52:08 +0000 |
Kim F. Storm |
(tooltip-show-help-function): Ignore negative mouse
|
| Mon, 21 Mar 2005 22:16:22 +0000 |
Kim F. Storm |
(tooltip-show-help-function): Check car and cdr of
|
| Thu, 10 Mar 2005 14:45:31 +0000 |
Stefan Monnier |
(tooltip-mode): Don't complain that you can't turn the
|
| Wed, 09 Mar 2005 23:19:00 +0000 |
Nick Roberts |
(tooltip-mode): Use define-minor-mode and simplify.
|
| Tue, 22 Feb 2005 09:42:23 +0000 |
Kim F. Storm |
(tooltip-show-help-function): Pass event to
|
| 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.
|
| 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
|
| Thu, 18 Jan 2001 14:38:45 +0000 |
Gerd Moellmann |
(tooltip-hide-delay): New user-option.
|
| Thu, 04 Jan 2001 20:38:02 +0000 |
Gerd Moellmann |
(tooltip-cancel-delayed-tip)
|
| Thu, 04 Jan 2001 14:09:24 +0000 |
Gerd Moellmann |
Fix last change.
|
| Thu, 04 Jan 2001 14:07:37 +0000 |
Gerd Moellmann |
(tooltip-frame-parameters): Remove colors.
|
| Mon, 18 Dec 2000 17:10:50 +0000 |
Gerd Moellmann |
(tooltip-mode): Signal an error if x-show-tip
|
| Thu, 14 Dec 2000 10:35:22 +0000 |
Gerd Moellmann |
(tooltip-show): If an error is signaled in
|
| Mon, 27 Nov 2000 18:01:19 +0000 |
Dave Love |
*** empty log message ***
|
| Mon, 27 Nov 2000 17:50:38 +0000 |
Dave Love |
(tooltip-use-echo-area): Doc fix.
|
| Sat, 18 Nov 2000 12:56:26 +0000 |
Gerd Moellmann |
(tooltip-x-offset, tooltip-y-offset): New user-options.
|
| Thu, 09 Nov 2000 23:48:29 +0000 |
Gerd Moellmann |
(tooltip-mode): Add a comment about startup.el
|
| Thu, 02 Nov 2000 04:28:01 +0000 |
Miles Bader |
(tooltip-gud-tips-setup): New function.
|
| Thu, 12 Oct 2000 17:02:19 +0000 |
Sam Steingold |
* tooltip.el (tooltip-use-echo-area): New user variable.
|
| Wed, 26 Jul 2000 18:44:36 +0000 |
Sam Steingold |
use float-time
|
| Wed, 02 Feb 2000 14:59:02 +0000 |
Dave Love |
(tooltip-gud-tips-p, tooltip-gud-toggle-dereference):
|
| Thu, 19 Aug 1999 18:35:29 +0000 |
Dave Love |
(tooltip-mode): Customize this, per convention.
|
| Wed, 21 Jul 1999 21:43:52 +0000 |
Gerd Moellmann |
New file.
|
