Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/demo/more/grid1.ur	Sat Sep 19 13:55:37 2009 -0400
+++ b/demo/more/grid1.ur	Sat Sep 19 14:21:25 2009 -0400
@@ -57,6 +57,8 @@
                                 And = {Initial = True,
                                        Step = fn r b => r.C && b,
                                        Display = txt}}
+
+              val pageLength = Some 10
           end)
 
 fun main () =