Mercurial > gui
diff 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 |
line wrap: on
line diff
--- a/datebox.ur Fri Dec 09 17:38:20 2011 -0500 +++ b/datebox.ur Tue Dec 20 21:04:21 2011 -0500 @@ -1,5 +1,5 @@ type t = {Cal : Calendar.t, - Panel : TogglePanel.togglePanel Calendar.t []} + Panel : TogglePanel.togglePanel Calendar.t body'} type date = Calendar.date val date_eq = Calendar.date_eq @@ -7,7 +7,7 @@ val time = Calendar.time val date = Calendar.date -val format : TogglePanel.formatCtl [] = fn [body ~ []] => +val format : TogglePanel.formatCtl body' = fn [[Dyn] ~ body'] => TogglePanel.defaultFormat -- #OpenCtl -- #CloseCtl ++ {OpenCtl = fn behaviour => <xml><button value="Choose" onclick={behaviour}/></xml>, @@ -28,7 +28,7 @@ fun value db = Calendar.value db.Cal -val gui_t = Gui.mkGui (fn [body ~ []] db => +val gui_t = Gui.mkGui (fn [[Dyn] ~ body'] db => <xml> <dyn signal={date <- Calendar.value db.Cal; return <xml>{[date.Year]}-{[date.Month]}-{[date.Day]}</xml>}/>