diff demo/more/grid1.ur @ 941:b8d7a47b8e0c

Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 12:23:42 -0400
parents e2be476673f2
children fbc3a0eef45a
line wrap: on
line diff
--- a/demo/more/grid1.ur	Tue Sep 15 11:18:20 2009 -0400
+++ b/demo/more/grid1.ur	Tue Sep 15 12:23:42 2009 -0400
@@ -69,6 +69,7 @@
       <body onload={sync grid}>
         {render grid}
         <hr/>
+        <ccheckbox source={showSelection grid}/> Show selection<br/>
         Selection: <dyn signal={ls <- selection grid;
                                 return (List.mapX (fn r => <xml>{[r.Id]}; </xml>) ls)}/>
       </body>