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

[Jason Rumney]

Christian Schlauer <address@hidden> writes:

> Jason Rumney <address@hidden> writes:
>
>> We should find out exactly what GNOME uses (it may be a fraction of
>> the font height for example) and try to be consistent with that.
>
> Will you pursue that? I'd really like to see this changed ...

gtk+/gtk/gtktooltips.c has a hardcoded "border width" of 4.

It is difficult to tell whether gtk's "border-width" is equivalent to
Emacs' internal-border-width, or internal-border-width + border-width,
since I can't put both tooltips next to each other for a careful
comparison.