🚀 go-pugleaf

I can find no "standard" coding technique to handle "double clicking"
of a gadget.

My guess would be:
   o When a gadget is selected, start a timer
   o If the next "select" msg isn't the same gadget, then cancel the
     timer, and (perhaps) de-select the original gadget.
   o If the timer elapses, then we won't have a double click.
   o If the user selects our gadget before the timer runs out, then
     consider that a double click.

Is there any sample code, on a fish disk, that uses "double clicking"?

What is the "best" value to use when timing a double click?

-- 
"This ain't Rock 'N Roll, |  These be my words, not my employer's!
 this is Genocide!"       |Dave Lowrey - Amdahl Corp. - Houston, TX
 David Bowie -            |In Texas:  {moray,uhnix1}!starsoft!david
"Daimond Dogs"            |The World: dwl10@uts.amdahl.com (amdahl!dwl10)