bug#29272: 26.0.90; "C-h k C-mouse-3" followed by menu selection asks for more keys

[Eli Zaretskii]

> Date: Wed, 29 Nov 2017 18:37:17 +0000
> Cc: Eli Zaretskii <eliz@gnu.org>,
>   Noam Postavsky <npostavs@users.sourceforge.net>, 29272@debbugs.gnu.org
> From: Alan Mackenzie <acm@muc.de>
> 
> Personally, I think the value t is a bad idea, and we should obsolete
> it.

That's not going to fly.  We have absolutely no reason for making this
obsolete.

in any case, this discussion is not about double-click-time's purpose,
it's about what should "C-h k" when it is not a number.  I proposed a
practical solution; does anyone see a problem with it?

> Maybe we should interpret t as a moderately long finite interval, say 10
> seconds.

10 seconds is too long, I think 1 sec is much better.