comparison 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
comparison
equal deleted inserted replaced
963:6f9d1565de56 964:fbc3a0eef45a
371 val colsFolder : folder cols 371 val colsFolder : folder cols
372 372
373 con aggregates :: {Type} 373 con aggregates :: {Type}
374 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates) 374 val aggregates : $(map (aggregateMeta (key ++ row)) aggregates)
375 val aggFolder : folder aggregates 375 val aggFolder : folder aggregates
376
377 val pageLength : option int
376 end) = struct 378 end) = struct
377 open Grid.Make(struct 379 open Grid.Make(struct
378 fun keyOf r = r --- M.row 380 fun keyOf r = r --- M.row
379 381
380 val list = query (SELECT * FROM {{M.tab}} AS T) (fn r rs => return (r.T :: rs)) [] 382 val list = query (SELECT * FROM {{M.tab}} AS T) (fn r rs => return (r.T :: rs)) []
419 val folder = M.colsFolder 421 val folder = M.colsFolder
420 422
421 val aggregates = M.aggregates 423 val aggregates = M.aggregates
422 424
423 val aggFolder = M.aggFolder 425 val aggFolder = M.aggFolder
426
427 val pageLength = M.pageLength
424 end) 428 end)
425 end 429 end