Re: Better default values for tooltip padding and `tooltip-hide-delay'?

[Stefan Monnier]

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

For what it's worth: LaTeX's font-lock places a "superscript" face on some
elements of the text (presumably superscripts) and uses a 0.8 factor for
that.  I myself use a small default font (misc-fixed-semicondensed-13, aka
6x13) and that is still quite readable.


        Stefan