[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: |
Christian Schlauer |
Subject: |
Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
Date: |
Sat, 08 Oct 2005 18:49:21 +0200 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (windows-nt) |
"Richard M. Stallman" <address@hidden> writes:
[...]
> I'd also suggest to make the tooltip face specify a font height of 75%.
>
> Would people please try that, too?
I tried that one.
On Ubuntu GNU/Linux, `emacs -q' uses the font
`-Adobe-Courier-Medium-R-Normal--17-120-100-100-M-100-ISO8859-1'.
Then, the tooltip face looks best with a height of 0.75 or 0.8, but
there is a big size difference between these two settings: the `l' of
`sample' in the customize buffer has the following heights:
0.75 -> 9 pixels
0.8 -> 11 pixels
0.9 -> 11 pixels
1.0 -> 12 pixels
With my preferred font,
`-Misc-Fixed-Medium-R-Normal--15-140-75-75-C-90-ISO8859-1' a.k.a.
`9x15', I get:
0.75 -> 8 pixels
0.8 -> 9 pixels
0.9 -> 11 pixels
1.0 -> 11 pixels
So it shouldn't be 0.75 as that is too small with 9x15. What about
0.8? It is reasonable with both fonts I tried, although the effect is
less pronounced with the `default' font on Ubuntu.
--
Christian Schlauer
- 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/04
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/04
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Jason Rumney, 2005/10/04
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Andreas Schwab, 2005/10/04
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Lennart Borgman, 2005/10/04
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Andreas Schwab, 2005/10/05
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/05
- 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 <=
- 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