# HG changeset patch # User Karn Kallio # Date 1311870070 16200 # Node ID c016beb0ebace067313d44e26dad3589e0f36647 # Parent bbdedfde154efa507a2d2a72d332ce5af25acf51 Repair calendarCtl : adjust monthinfo when set. diff -r bbdedfde154e -r c016beb0ebac datebox.ur --- a/datebox.ur Thu Jul 28 10:24:34 2011 -0430 +++ b/datebox.ur Thu Jul 28 11:51:10 2011 -0430 @@ -237,7 +237,9 @@ fun setCalendarCtl action ctl day = + minf <- rpc (monthInfo (day -- #Day)); action day; + set ctl.Month minf; set ctl.Day day fun value [t ::: Type] (gd : givesDates t) t = signal (gd t)