Mercurial > urweb
diff demo/more/grid.ur @ 963:6f9d1565de56
Testing Dlist MaxLength with constant value
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 19 Sep 2009 13:55:37 -0400 |
parents | 7e7edfb6fe82 |
children | fbc3a0eef45a |
line wrap: on
line diff
--- a/demo/more/grid.ur Sat Sep 19 13:44:12 2009 -0400 +++ b/demo/more/grid.ur Sat Sep 19 13:55:37 2009 -0400 @@ -217,6 +217,7 @@ </tr></xml> end) {StartPosition = return (Some 1), + MaxLength = return (Some 2), Filter = fn all => row <- signal all.Row; foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool]