From 508ac0708d67027aa9d14138d24f4aa427a70c03 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 15 Sep 2009 12:23:42 -0400 Subject: Fixed a Mono_reduce bug, which was breaking selection enabling in Grid --- demo/more/grid.ur | 6 +++--- demo/more/grid1.ur | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'demo') diff --git a/demo/more/grid.ur b/demo/more/grid.ur index 56230c8e..412fe585 100644 --- a/demo/more/grid.ur +++ b/demo/more/grid.ur @@ -143,10 +143,10 @@ functor Make(M : sig else - No)}/> + )}/> @@ -200,7 +200,7 @@ functor Make(M : sig (fn [t] meta => meta.Initial) [_] M.aggFolder M.aggregates) grid.Rows; return - + Aggregates {foldRX2 [aggregateMeta M.row] [id] [_] (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc => {meta.Display acc}) diff --git a/demo/more/grid1.ur b/demo/more/grid1.ur index bad193bb..c163c9d5 100644 --- a/demo/more/grid1.ur +++ b/demo/more/grid1.ur @@ -69,6 +69,7 @@ fun main () = {render grid}

+ Show selection
Selection: {[r.Id]}; ) ls)}/> -- cgit v1.2.3