>
>
> Does the problem go away if you set x-gtk-use-system-tooltips to nil?
>

Hi Eli, indeed I'm not using system tooltips.

>