Mercurial > urweb

comparison demo/more/grid1.ur @ 964:fbc3a0eef45a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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;