comparison 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
comparison
equal deleted inserted replaced
940:e2be476673f2 941:b8d7a47b8e0c
67 <link rel="stylesheet" type="text/css" href="../../grid.css"/> 67 <link rel="stylesheet" type="text/css" href="../../grid.css"/>
68 </head> 68 </head>
69 <body onload={sync grid}> 69 <body onload={sync grid}>
70 {render grid} 70 {render grid}
71 <hr/> 71 <hr/>
72 <ccheckbox source={showSelection grid}/> Show selection<br/>
72 Selection: <dyn signal={ls <- selection grid; 73 Selection: <dyn signal={ls <- selection grid;
73 return (List.mapX (fn r => <xml>{[r.Id]}; </xml>) ls)}/> 74 return (List.mapX (fn r => <xml>{[r.Id]}; </xml>) ls)}/>
74 </body> 75 </body>
75 </xml> 76 </xml>