Mercurial > gui
view datebox.ur @ 16:2e397d373289
Add RemotePager.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Thu, 18 Aug 2011 12:53:17 -0430 |
parents | 8300d5f0dc19 |
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>