Mercurial > gui
diff datebox.urs @ 23:7c734edc6301
Merge from Adam.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Sat, 24 Sep 2011 18:55:27 -0430 |
parents | 554e342665fe |
children | 5905b56e0cd9 |
line wrap: on
line diff
--- a/datebox.urs Mon Aug 22 05:06:15 2011 -0430 +++ b/datebox.urs Sat Sep 24 18:55:27 2011 -0430 @@ -1,7 +1,7 @@ type t -(* The type of dateboxes, which are input elements - * allowing the user to select a date from a popup - * calendar. *) + +(* The type of dateboxes, which are input elements allowing the user to select a + * date from a popup calendar. *) type date = {Year : int, Month : int, Day : int} val date_eq : eq date @@ -22,5 +22,5 @@ val value : t -> signal date (* Extract the current date value. *) -val render : t -> xbody +val gui_t : Gui.gui t [] (* Draws the datebox as a piece of xml. *)