Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
939:38a376dc7401 | 940:e2be476673f2 |
---|---|
37 type grid | 37 type grid |
38 | 38 |
39 val grid : transaction grid | 39 val grid : transaction grid |
40 val sync : grid -> transaction unit | 40 val sync : grid -> transaction unit |
41 val render : grid -> xbody | 41 val render : grid -> xbody |
42 | 42 |
43 val showSelection : grid -> source bool | |
44 val selection : grid -> signal (list M.row) | |
45 | |
43 style tabl | 46 style tabl |
44 style tr | 47 style tr |
45 style th | 48 style th |
46 style td | 49 style td |
47 end | 50 end |