Mercurial > gui
comparison calendar.urs @ 18:16447dc6a68c
Introduction of multi-parameter type class for gui components
author | Ron de Bruijn <rmbruijn@gmail.com> |
---|---|
date | Thu, 22 Sep 2011 19:24:01 +0200 |
parents | 8300d5f0dc19 |
children | 554e342665fe |
comparison
equal
deleted
inserted
replaced
17:2947170fcfd6 | 18:16447dc6a68c |
---|---|
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 xbody |
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 |