Mercurial > gui

comparison calendar.urs @ 15:8300d5f0dc19

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace ChangePoller with SourceL, plus some other rearrangements
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 14:38:52 -0400
parents 0827320b0f04
children 16447dc6a68c
comparison
equal deleted inserted replaced
14:0827320b0f04 15:8300d5f0dc19
9 (* Interactive calendar control widgets. The date can be set and read. 9 (* Interactive calendar control widgets. The date can be set and read.
10 * They support adding a change listener which will be called on 10 * They support adding a change listener which will be called on
11 * the new date. They are displayed as pictures of calendars which 11 * the new date. They are displayed as pictures of calendars which
12 * have clickable dates. *) 12 * have clickable dates. *)
13 13
14 val addListener : (date -> transaction unit) -> t -> transaction unit 14 val onChange : t -> (date -> transaction {}) -> transaction unit
15 (* Add a change listener to a calendar control. *) 15 (* Add a change listener to a calendar control. *)
16 16
17 val set : t -> date -> transaction unit 17 val set : t -> date -> transaction unit
18 (* Set the date of the calendar. *) 18 (* Set the date of the calendar. *)
19 19