From 56492a2c4801e14de9f195b924bff0b48f68d2c4 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/grid1.ur | 1 + 1 file changed, 1 insertion(+) (limited to 'demo/more/grid1.ur') 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