annotate timer.ur @ 21:30f9a763f5fb

Tweak TogglePanel signature
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Sep 2011 17:35:33 -0400
parents 37eefd0a2ed4
children
rev   line source
adam@0 1 type t = source bool
adam@0 2
adam@0 3 fun create r =
adam@0 4 b <- source False;
adam@0 5 spawn (sleep r.Milliseconds;
adam@0 6 b <- get b;
adam@0 7 if b then
adam@0 8 return ()
adam@0 9 else
adam@0 10 r.Action);
adam@0 11 return b
adam@0 12
adam@0 13 fun cancel b = set b True