Mercurial > gui
comparison datebox.ur @ 27:5905b56e0cd9
Adapt to new HTML contexts
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 20 Dec 2011 21:04:21 -0500 |
parents | 554e342665fe |
children | b5432d74841a |
comparison
equal
deleted
inserted
replaced
26:86857ae0f386 | 27:5905b56e0cd9 |
---|---|
1 type t = {Cal : Calendar.t, | 1 type t = {Cal : Calendar.t, |
2 Panel : TogglePanel.togglePanel Calendar.t []} | 2 Panel : TogglePanel.togglePanel Calendar.t body'} |
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.formatCtl [] = fn [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={behaviour}/></xml>, |
14 CloseCtl = fn behaviour => <xml><button value="Hide" onclick={behaviour}/></xml>} | 14 CloseCtl = fn behaviour => <xml><button value="Hide" onclick={behaviour}/></xml>} |
15 | 15 |
26 fun set db day = | 26 fun set db day = |
27 Calendar.set db.Cal day | 27 Calendar.set db.Cal day |
28 | 28 |
29 fun value db = Calendar.value db.Cal | 29 fun value db = Calendar.value db.Cal |
30 | 30 |
31 val gui_t = Gui.mkGui (fn [body ~ []] db => | 31 val gui_t = Gui.mkGui (fn [[Dyn] ~ body'] db => |
32 <xml> | 32 <xml> |
33 <dyn signal={date <- Calendar.value db.Cal; | 33 <dyn signal={date <- Calendar.value db.Cal; |
34 return <xml>{[date.Year]}-{[date.Month]}-{[date.Day]}</xml>}/> | 34 return <xml>{[date.Year]}-{[date.Month]}-{[date.Day]}</xml>}/> |
35 {Gui.toXml db.Panel} | 35 {Gui.toXml db.Panel} |
36 </xml>) | 36 </xml>) |