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

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 da3ec6014d2f
line wrap: on
line diff
--- a/demo/more/dbgrid.urs	Tue Sep 15 10:50:49 2009 -0400
+++ b/demo/more/dbgrid.urs	Tue Sep 15 11:18:20 2009 -0400
@@ -110,4 +110,7 @@
     val grid : transaction grid
     val sync : grid -> transaction unit
     val render : grid -> xbody
+
+    val showSelection : grid -> source bool
+    val selection : grid -> signal (list ($(M.key ++ M.row)))
 end