diff demo/more/grid.ur @ 952:07569af40069

Insert dummy Sort parameter
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 14:42:02 -0400
parents 103ac1792c41
children 301530da2062
line wrap: on
line diff
--- a/demo/more/grid.ur	Thu Sep 17 14:27:00 2009 -0400
+++ b/demo/more/grid.ur	Thu Sep 17 14:42:02 2009 -0400
@@ -212,7 +212,8 @@
                                               this <- (meta.Handlers state).Filter filter row;
                                               return (previous && this))
                                           (fn _ => return True)
-                                          [_] M.folder M.cols grid.Cols grid.Filters row}
+                                          [_] M.folder M.cols grid.Cols grid.Filters row,
+                       Sort = return None}
                       grid.Rows}
 
             <dyn signal={rows <- Dlist.foldl (fn row => Monad.mapR2 [aggregateMeta M.row] [id] [id]