Mercurial > urweb
diff demo/more/grid.ur @ 962:7e7edfb6fe82
Testing Dlist StartPosition with constant offset
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 19 Sep 2009 13:44:12 -0400 |
parents | 8c37699de273 |
children | 6f9d1565de56 |
line wrap: on
line diff
--- a/demo/more/grid.ur Sat Sep 19 13:32:33 2009 -0400 +++ b/demo/more/grid.ur Sat Sep 19 13:44:12 2009 -0400 @@ -216,7 +216,8 @@ [_] M.folder grid.Cols M.cols cols)}/> </tr></xml> end) - {Filter = fn all => + {StartPosition = return (Some 1), + Filter = fn all => row <- signal all.Row; foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool] (fn [nm :: Name] [p :: (Type * Type * Type)]