view demo/more/grid0.ur @ 1837:7cf34f8b7b93

Add ./configure MLTONARGS option for MLTON arguments Named MLTONARGS based on CCARGS.
author Jason Gross <jgross@mit.edu>
date Wed, 12 Dec 2012 14:47:06 -0500
parents f0afe61a6f8b
children
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>