Mercurial > gui
comparison datebox.ur @ 19:3a303df9ae92
Partial generalize togglePanel solution (breaks build)
author | Ron de Bruijn <rmbruijn@gmail.com> |
---|---|
date | Fri, 23 Sep 2011 13:30:01 +0200 |
parents | 8300d5f0dc19 |
children | 554e342665fe |
comparison
equal
deleted
inserted
replaced
18:16447dc6a68c | 19:3a303df9ae92 |
---|---|
1 type t = {Cal : Calendar.t, | 1 con t other_ctx = {Cal : Calendar.t, |
2 Panel : TogglePanel.togglePanel Calendar.t} | 2 Panel : TogglePanel.togglePanel Calendar.t other_ctx} |
3 | 3 |
4 type date = Calendar.date | 4 type date = Calendar.date |
5 val date_eq = Calendar.date_eq | 5 val date_eq = Calendar.date_eq |
6 val date_ord = Calendar.date_ord | 6 val date_ord = Calendar.date_ord |
7 val time = Calendar.time | 7 val time = Calendar.time |
8 val date = Calendar.date | 8 val date = Calendar.date |
9 | 9 |
10 val format = TogglePanel.defaultFormat | 10 (* : other_ctx:::{Unit} -> [other_ctx ~ body] => formatCtl other_ctx *) |
11 | |
12 val format = TogglePanel.defaultFormat | |
11 --#OpenCtl -- #CloseCtl | 13 --#OpenCtl -- #CloseCtl |
12 ++ {OpenCtl = fn behaviour => <xml><button value="Choose" onclick={behaviour}/></xml>, | 14 ++ {OpenCtl = fn behaviour => <xml><button value="Choose" onclick={behaviour}/></xml>, |
13 CloseCtl = fn behaviour => <xml><button value="Hide" onclick={behaviour}/></xml>} | 15 CloseCtl = fn behaviour => <xml><button value="Hide" onclick={behaviour}/></xml>} |
14 | 16 |
15 fun create tm = | 17 fun create tm = |