diff demo/more/grid.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 e2194a6793ae
line wrap: on
line diff
--- a/demo/more/grid.ur	Tue Sep 15 11:18:20 2009 -0400
+++ b/demo/more/grid.ur	Tue Sep 15 12:23:42 2009 -0400
@@ -143,10 +143,10 @@
                               <xml><tr class={tr}>
                                 <td>
                                   <dyn signal={b <- signal grid.Selection;
-                                               return (if not b then
+                                               return (if b then
                                                            <xml><ccheckbox source={sd}/></xml>
                                                        else
-                                                           <xml>No</xml>)}/>
+                                                           <xml/>)}/>
                                 </td>
 
                                 <td>
@@ -200,7 +200,7 @@
                                   (fn [t] meta => meta.Initial)
                                   [_] M.aggFolder M.aggregates) grid.Rows;
                          return <xml><tr>
-                           <td/><td/>
+                           <th colspan={3}>Aggregates</th>
                            {foldRX2 [aggregateMeta M.row] [id] [_]
                                     (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc =>
                                         <xml><td class={agg}>{meta.Display acc}</td></xml>)