Mercurial > gui
comparison calendar.urs @ 23:7c734edc6301
Merge from Adam.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Sat, 24 Sep 2011 18:55:27 -0430 |
parents | 554e342665fe |
children | 5905b56e0cd9 |
comparison
equal
deleted
inserted
replaced
22:4362b15220e4 | 23:7c734edc6301 |
---|---|
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 | 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 |