comparison datebox.ur @ 31:b5432d74841a

Update for key/mouse handler change
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:15:14 -0400
parents 5905b56e0cd9
children
comparison
equal deleted inserted replaced
30:c1f06342c81f 31:b5432d74841a
8 val date = Calendar.date 8 val date = Calendar.date
9 9
10 val format : TogglePanel.formatCtl body' = fn [[Dyn] ~ body'] => 10 val format : TogglePanel.formatCtl body' = fn [[Dyn] ~ body'] =>
11 TogglePanel.defaultFormat 11 TogglePanel.defaultFormat
12 -- #OpenCtl -- #CloseCtl 12 -- #OpenCtl -- #CloseCtl
13 ++ {OpenCtl = fn behaviour => <xml><button value="Choose" onclick={behaviour}/></xml>, 13 ++ {OpenCtl = fn behaviour => <xml><button value="Choose" onclick={fn _ => behaviour}/></xml>,
14 CloseCtl = fn behaviour => <xml><button value="Hide" onclick={behaviour}/></xml>} 14 CloseCtl = fn behaviour => <xml><button value="Hide" onclick={fn _ => behaviour}/></xml>}
15 15
16 fun create tm = 16 fun create tm =
17 cal <- Calendar.create tm; 17 cal <- Calendar.create tm;
18 panel <- TogglePanel.create @format cal False; 18 panel <- TogglePanel.create @format cal False;
19 19