From 1da43b401a4ebcd11ea4bd568326ec70fa1cc3b9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Nov 2009 15:30:15 -0500 Subject: grid0 working in IE --- demo/more/grid0.ur | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 demo/more/grid0.ur (limited to 'demo/more/grid0.ur') diff --git a/demo/more/grid0.ur b/demo/more/grid0.ur new file mode 100644 index 00000000..3e3d27ab --- /dev/null +++ b/demo/more/grid0.ur @@ -0,0 +1,34 @@ +open Dbgrid + +sequence s +table t : {Id : int, A : int} + PRIMARY KEY Id + +open Make(struct + val tab = t + con key = [Id = _] + + val raw = {Id = {New = nextval s, + Inj = _}, + A = {New = return 0, + Inj = _}} + + val cols = {Id = Direct.readOnly [#Id] ! "Id" Direct.int, + A = Direct.editable [#A] ! "A" Direct.int} + + val aggregates = {} + + val pageLength = None + end) + +fun main () = + grid <- grid; + set (showSelection grid) True; + return + + + + + {render grid} + + -- cgit v1.2.3