| 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.
|
