Mercurial > gui
view datebox.ur @ 15:8300d5f0dc19
Replace ChangePoller with SourceL, plus some other rearrangements
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 07 Aug 2011 14:38:52 -0400 |
parents | 0827320b0f04 |
children | 3a303df9ae92 |
line wrap: on
line source
type t = {Cal : Calendar.t, Panel : TogglePanel.togglePanel Calendar.t} type date = Calendar.date val date_eq = Calendar.date_eq val date_ord = Calendar.date_ord val time = Calendar.time val date = Calendar.date val format = TogglePanel.defaultFormat --#OpenCtl -- #CloseCtl ++ {OpenCtl = fn behaviour => <xml><button value="Choose" onclick={behaviour}/></xml>, CloseCtl = fn behaviour => <xml><button value="Hide" onclick={behaviour}/></xml>} fun create tm = cal <- Calendar.create tm; panel <- TogglePanel.create format cal False; return {Cal = cal, Panel = panel} fun onChange db f = Calendar.onChange db.Cal f fun set db day = Calendar.set db.Cal day fun value db = Calendar.value db.Cal fun render db = <xml> <dyn signal={date <- Calendar.value db.Cal; return <xml>{[date.Year]}-{[date.Month]}-{[date.Day]}</xml>}/> {Gui.toXml db.Panel} </xml>