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 =