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. *)