Mercurial > urweb
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 |