Mercurial > gui
annotate timer.ur @ 7:48a4180171b0
Shifted some more generic theme navigation code to the library.
Also generalized formatting options a bit for popupNav.
| author | Karn Kallio <kkallio@eka> |
|---|---|
| date | Fri, 06 May 2011 23:00:22 -0430 |
| 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 |