diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-09-15 12:23:42 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-15 12:23:42 -0400 |
commit | 508ac0708d67027aa9d14138d24f4aa427a70c03 (patch) | |
tree | 6a91bb53b96551cfc883f26a56233821d6768f8c /demo/more | |
parent | 605ebe8b290fda0a67b9e1f9b58500a16b696350 (diff) |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Diffstat (limited to 'demo/more')
-rw-r--r-- | demo/more/grid.ur | 6 | ||||
-rw-r--r-- | demo/more/grid1.ur | 1 |
2 files changed, 4 insertions, 3 deletions
diff --git a/demo/more/grid.ur b/demo/more/grid.ur index 56230c8e..412fe585 100644 --- a/demo/more/grid.ur +++ b/demo/more/grid.ur @@ -143,10 +143,10 @@ functor Make(M : sig <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 @@ functor Make(M : sig (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>) diff --git a/demo/more/grid1.ur b/demo/more/grid1.ur index bad193bb..c163c9d5 100644 --- a/demo/more/grid1.ur +++ b/demo/more/grid1.ur @@ -69,6 +69,7 @@ fun main () = <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> |