|
| From: | Richard M. Stallman |
| Subject: | Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
| Date: | Sun, 09 Oct 2005 14:16:48 -0400 |
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.
What do others think?
| [Prev in Thread] | Current Thread | [Next in Thread] |