comparison 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
comparison
equal deleted inserted replaced
939:38a376dc7401 940:e2be476673f2
108 type grid 108 type grid
109 109
110 val grid : transaction grid 110 val grid : transaction grid
111 val sync : grid -> transaction unit 111 val sync : grid -> transaction unit
112 val render : grid -> xbody 112 val render : grid -> xbody
113
114 val showSelection : grid -> source bool
115 val selection : grid -> signal (list ($(M.key ++ M.row)))
113 end 116 end