Mercurial > gui
annotate datebox.urs @ 7:48a4180171b0
Shifted some more generic theme navigation code to the library.
Also generalized formatting options a bit for popupNav.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Fri, 06 May 2011 23:00:22 -0430 |
parents | 4385bc6a0d2d |
children | bbdedfde154e |
rev | line source |
---|---|
adam@2 | 1 type t |
adam@2 | 2 |
adam@4 | 3 type date = {Year : int, Month : int, Day : int} |
adam@5 | 4 val date_ord : ord date |
adam@5 | 5 val time : date -> time |
adam@4 | 6 |
adam@4 | 7 val create : time -> transaction t |
adam@2 | 8 val render : t -> xbody |
adam@4 | 9 val value : t -> signal date |
adam@2 | 10 |
adam@2 | 11 style calendar |
adam@2 | 12 style prev |
adam@2 | 13 style this |
adam@2 | 14 style next |
adam@2 | 15 style weekday |
adam@2 | 16 style curday |
adam@2 | 17 style otherday |
adam@4 | 18 style selday |