Double click events

[Bertrand Petit <plt-s@phoe.frmug.org>]

	When handling an event, trough the on-default-event method of
a text% object, how one identify if the event was a single or a double
click?
	The mouse-event% class documentaion has no information about
this. Are we supposed to detect a double-click from a couple of
down-up events arriving in a given interval of time? Or should we use
a keymap?

-- 
%!PS        '(#<radical-libre> ("Bertrand Petit" . "elrond@phoe.frmug.org"))
297.6 420.9 translate 90 rotate 0 setgray gsave 0 1 1{pop 0 180 moveto 100
180 170 100 170 -10 curveto 180 -9 180 -9 190 -10 curveto 190 100 100 180
0 180 curveto fill 180 rotate}for grestore/Bookman-LightItalic findfont
240 scalefont setfont -151.536392 -63.7998886 moveto (bp)show showpage