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