comparison 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
comparison
equal deleted inserted replaced
940:e2be476673f2 941:b8d7a47b8e0c
141 set colsS cols 141 set colsS cols
142 in 142 in
143 <xml><tr class={tr}> 143 <xml><tr class={tr}>
144 <td> 144 <td>
145 <dyn signal={b <- signal grid.Selection; 145 <dyn signal={b <- signal grid.Selection;
146 return (if not b then 146 return (if b then
147 <xml><ccheckbox source={sd}/></xml> 147 <xml><ccheckbox source={sd}/></xml>
148 else 148 else
149 <xml>No</xml>)}/> 149 <xml/>)}/>
150 </td> 150 </td>
151 151
152 <td> 152 <td>
153 <dyn signal={b <- signal ud; 153 <dyn signal={b <- signal ud;
154 return (if b then 154 return (if b then
198 [_] M.aggFolder M.aggregates) 198 [_] M.aggFolder M.aggregates)
199 (mp [aggregateMeta M.row] [id] 199 (mp [aggregateMeta M.row] [id]
200 (fn [t] meta => meta.Initial) 200 (fn [t] meta => meta.Initial)
201 [_] M.aggFolder M.aggregates) grid.Rows; 201 [_] M.aggFolder M.aggregates) grid.Rows;
202 return <xml><tr> 202 return <xml><tr>
203 <td/><td/> 203 <th colspan={3}>Aggregates</th>
204 {foldRX2 [aggregateMeta M.row] [id] [_] 204 {foldRX2 [aggregateMeta M.row] [id] [_]
205 (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc => 205 (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc =>
206 <xml><td class={agg}>{meta.Display acc}</td></xml>) 206 <xml><td class={agg}>{meta.Display acc}</td></xml>)
207 [_] M.aggFolder M.aggregates rows} 207 [_] M.aggFolder M.aggregates rows}
208 </tr></xml>}/> 208 </tr></xml>}/>