On 2016-04-24 04:40, martin rudalics wrote:
> If you can think of a better solution with less surprising results
> for the user please tell me.

Isn't using the value of tooltip-hide-delay (or of a new similar variable) as the default in x-show-tip such a solution?
In other words, what downside does it have? Sorry if I missed one. All that I've seen for now is mentions that this was an internal detail.

Clément.