comparison 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
comparison
equal deleted inserted replaced
963:6f9d1565de56 964:fbc3a0eef45a
116 val colsFolder : folder cols 116 val colsFolder : folder cols
117 117
118 con aggregates :: {Type} 118 con aggregates :: {Type}
119 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates) 119 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates)
120 val aggFolder : folder aggregates 120 val aggFolder : folder aggregates
121
122 val pageLength : option int
121 end) : sig 123 end) : sig
122 type grid 124 type grid
123 125
124 val grid : transaction grid 126 val grid : transaction grid
125 val sync : grid -> transaction unit 127 val sync : grid -> transaction unit