Mercurial > urweb
diff demo/more/grid.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 | 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