Mercurial > urweb
comparison demo/more/grid1.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 | b8d7a47b8e0c |
children | 8d3aa6c7cee0 |
comparison
equal
deleted
inserted
replaced
963:6f9d1565de56 | 964:fbc3a0eef45a |
---|---|
55 Step = fn _ _ => (), | 55 Step = fn _ _ => (), |
56 Display = fn _ => <xml/>}, | 56 Display = fn _ => <xml/>}, |
57 And = {Initial = True, | 57 And = {Initial = True, |
58 Step = fn r b => r.C && b, | 58 Step = fn r b => r.C && b, |
59 Display = txt}} | 59 Display = txt}} |
60 | |
61 val pageLength = Some 10 | |
60 end) | 62 end) |
61 | 63 |
62 fun main () = | 64 fun main () = |
63 grid <- grid; | 65 grid <- grid; |
64 set (showSelection grid) True; | 66 set (showSelection grid) True; |