Subject: bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable

From: Po Lu <[email-masked]>
Date: Sun, 01 May 2022 18:38:18 +0800

Lars Ingebrigtsen <[email-masked]> writes:

> As I said in the bug thread, I agree with that, but nevertheless,
> x-show-tip is still used directly -- even in-tree -- so adding a
> (non-user option) variable to allow tweaking is appropriate.

If code calls `x-show-tip' directly, then that means it explictly wants
a 5 second delay: no more, no less.

If that is not actually what it wants, it should be fixed, instead of
hacking around the problem with a global variable.