Mercurial > urweb

diff demo/more/grid.urs @ 940:e2be476673f2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Selection working, but switching it on isn't
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 11:18:20 -0400
parents 37dd42935dad
children e2194a6793ae
line wrap: on
line diff
--- a/demo/more/grid.urs	Tue Sep 15 10:50:49 2009 -0400
+++ b/demo/more/grid.urs	Tue Sep 15 11:18:20 2009 -0400
@@ -39,7 +39,10 @@
     val grid : transaction grid
     val sync : grid -> transaction unit
     val render : grid -> xbody
-                           
+
+    val showSelection : grid -> source bool
+    val selection : grid -> signal (list M.row)
+
     style tabl
     style tr
     style th