Mercurial > urweb
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>