Mercurial > urweb
diff demo/more/dbgrid.urs @ 964:fbc3a0eef45a
Paging mostly working; just need to get it working properly with filtering
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 19 Sep 2009 14:21:25 -0400 |
parents | 8c37699de273 |
children |
line wrap: on
line diff
--- a/demo/more/dbgrid.urs Sat Sep 19 13:55:37 2009 -0400 +++ b/demo/more/dbgrid.urs Sat Sep 19 14:21:25 2009 -0400 @@ -118,6 +118,8 @@ con aggregates :: {Type} val aggregates : $(map (aggregateMeta (key ++ row)) aggregates) val aggFolder : folder aggregates + + val pageLength : option int end) : sig type grid