Mercurial > gui

comparison datebox.ur @ 27:5905b56e0cd9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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>)