# HG changeset patch # User Adam Chlipala # Date 1342880114 14400 # Node ID b5432d74841a525df207da3675303a47c5458fa6 # Parent c1f06342c81f5ce1410a9d35b51e6cb360c8b2af Update for key/mouse handler change diff -r c1f06342c81f -r b5432d74841a calendar.ur --- a/calendar.ur Sat May 12 10:07:45 2012 -0400 +++ b/calendar.ur Sat Jul 21 10:15:14 2012 -0400 @@ -134,7 +134,7 @@ {[day]} else case month of This => {[day]} + onclick={fn _ => SourceL.set t.Day thisDate}>{[day]} | _ => {[day]}) end}/> {let @@ -181,18 +181,18 @@ + onclick={fn _ => minf <- rpc (monthInfo (if minf.ThisMonth = 1 then + {Month = 12, Year = minf.Year - 1} + else + {Month = minf.ThisMonth - 1, Year = minf.Year})); + set t.Month minf}><< {[minf.PrevMonthName]} + onclick={fn _ => minf <- rpc (monthInfo (if minf.ThisMonth = 12 then + {Month = 1, Year = minf.Year + 1} + else + {Month = minf.ThisMonth + 1, Year = minf.Year})); + set t.Month minf}>{[minf.NextMonthName]} >> {rows (if minf.ThisMonth = 1 && (case minf.MondayMonth of This => False | _ => True) then diff -r c1f06342c81f -r b5432d74841a datebox.ur --- a/datebox.ur Sat May 12 10:07:45 2012 -0400 +++ b/datebox.ur Sat Jul 21 10:15:14 2012 -0400 @@ -10,8 +10,8 @@ val format : TogglePanel.formatCtl body' = fn [[Dyn] ~ body'] => TogglePanel.defaultFormat -- #OpenCtl -- #CloseCtl - ++ {OpenCtl = fn behaviour =>
<< {[minf.PrevMonthName]} {[minf.ThisMonthName]} {[minf.Year]} {[minf.NextMonthName]} >>
M Tu W Th F Sa Su