Mercurial > gui

diff datebox.urs @ 2:33c83ae7c9af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of datebox: calendarizing current month correctly
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 15:51:42 -0500
parents
children 8cab48efaff2
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/datebox.urs	Tue Feb 08 15:51:42 2011 -0500
@@ -0,0 +1,13 @@
+type t
+
+val create : transaction t
+val render : t -> xbody
+val value : t -> signal time
+
+style calendar
+style prev
+style this
+style next
+style weekday
+style curday
+style otherday