diff demo/more/dbgrid.ur @ 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 8d3aa6c7cee0
line wrap: on
line diff
--- a/demo/more/dbgrid.ur	Sat Sep 19 13:55:37 2009 -0400
+++ b/demo/more/dbgrid.ur	Sat Sep 19 14:21:25 2009 -0400
@@ -373,6 +373,8 @@
                  con aggregates :: {Type}
                  val aggregates : $(map (aggregateMeta (key ++ row)) aggregates)
                  val aggFolder : folder aggregates
+
+                 val pageLength : option int
              end) = struct
     open Grid.Make(struct
                        fun keyOf r = r --- M.row
@@ -421,5 +423,7 @@
                        val aggregates = M.aggregates
 
                        val aggFolder = M.aggFolder
+
+                       val pageLength = M.pageLength
                    end)
 end