view demo/more/grid0.ur @ 1129:4f3a1aa3b66d

<img> has dimensions and needs special HTML handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 Jan 2010 08:46:25 -0500
parents 8932f855fa85
children f0afe61a6f8b
line wrap: on
line source
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 <xml>
      <head>
        <link rel="stylesheet" type="text/css" href="../../grid.css"/>
      </head>
      <body onload={sync grid}>
        {render grid}
      </body>
    </xml>