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
|