[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better default values for tooltip padding and `tooltip-hide-delay'?
From: |
Andreas Schwab |
Subject: |
Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
Date: |
Wed, 05 Oct 2005 10:10:58 +0200 |
User-agent: |
Gnus/5.110003 (No Gnus v0.3) Emacs/22.0.50 (gnu/linux) |
Lennart Borgman <address@hidden> writes:
> Andreas Schwab wrote:
>
>>I'd also suggest to make the tooltip face specify a font height of 75%.
>>
>>
> Why? If that is easily readable why not make the default font smaller
> instead?
IMHO it looks better if the tooltip font is slightly smaller than the
default font.
Andreas.
--
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, (continued)
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Richard M. Stallman, 2005/10/05
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/08
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Stefan Monnier, 2005/10/08
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Richard M. Stallman, 2005/10/09
- RE: Better default values for tooltip padding and `tooltip-hide-delay'?, Drew Adams, 2005/10/09
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Lennart Borgman, 2005/10/09
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Stefan Monnier, 2005/10/10
Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/11