Mercurial > gui

comparison calendar.urs @ 20:554e342665fe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add a new parameter to Gui.gui
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Sep 2011 15:47:00 -0400
parents 16447dc6a68c
children 5905b56e0cd9
comparison
equal deleted inserted replaced
19:3a303df9ae92 20:554e342665fe
18 (* Set the date of the calendar. *) 18 (* Set the date of the calendar. *)
19 19
20 val value : t -> signal date 20 val value : t -> signal date
21 (* Read the date of the calendar. *) 21 (* Read the date of the calendar. *)
22 22
23 val gui_t : Gui.gui t xbody 23 val gui_t : Gui.gui t []
24 (* Witness that this is a gui widget. *) 24 (* Witness that this is a gui widget. *)
25 25
26 val create : time -> transaction t 26 val create : time -> transaction t
27 (* Get a basic interactive calendar control widget. *) 27 (* Get a basic interactive calendar control widget. *)
28 28