diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-11-28 16:56:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-11-28 16:56:45 -0500 |
| commit | 9d38076e9a1dc49faec13596a2f707269c2a0ad7 (patch) | |
| tree | bd2859407b849d931b71002f26d94e4340f0d5f7 /demo/more | |
| parent | 550c44b258fcbb3248cda6c6401ae17f513d0ba5 (diff) | |
Allow any FFI module to declare new HTML tags
Diffstat (limited to 'demo/more')
| -rw-r--r-- | demo/more/grid.ur | 26 | ||||
| -rw-r--r-- | demo/more/grid.urs | 8 | ||||
| -rw-r--r-- | demo/more/out/grid.css | 8 |
3 files changed, 21 insertions, 21 deletions
diff --git a/demo/more/grid.ur b/demo/more/grid.ur index 9691442c..041115e9 100644 --- a/demo/more/grid.ur +++ b/demo/more/grid.ur @@ -40,10 +40,10 @@ functor Make(M : sig val pageLength : option int end) = struct - style tabl - style tr - style th - style td + style tab + style row + style header + style data style agg fun make (row : M.row) [input] [filter] (m : colMeta' M.row input filter) : transaction input = m.Project row @@ -122,13 +122,13 @@ functor Make(M : sig M.folder M.cols grid.Cols grid.Filters row fun render (grid : grid) = <xml> - <table class={tabl}> - <tr class={tr}> + <table class={tab}> + <tr class={row}> <th/> <th/> <th><button value="No sort" onclick={fn _ => set grid.Sort None}/></th> {@mapX2 [fst3] [colMeta M.row] [tr] (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest] data (meta : colMeta M.row p) => - <xml><th class={th}> + <xml><th class={header}> {case (meta.Handlers data).Sort of None => txt (meta.Handlers data).Header | sort => <xml><button value={(meta.Handlers data).Header} @@ -185,7 +185,7 @@ functor Make(M : sig cols <- makeAll grid.Cols row'; set colsS cols in - <xml><tr class={tr}> + <xml><tr class={row}> <td> <dyn signal={b <- signal grid.Selection; return (if b then @@ -213,18 +213,18 @@ functor Make(M : sig return (@mapX3 [fst3] [colMeta M.row] [snd3] [_] (fn [nm :: Name] [t :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] - [[nm] ~ rest] data meta v => - <xml><td class={td}> + [[nm] ~ rest] dat meta v => + <xml><td class={data}> <dyn signal={b <- signal ud; return (if b then - (meta.Handlers data).Edit v + (meta.Handlers dat).Edit v else - (meta.Handlers data).Display + (meta.Handlers dat).Display v)}/> <dyn signal={b <- signal ud; if b then valid <- - (meta.Handlers data).Validate v; + (meta.Handlers dat).Validate v; return (if valid then <xml/> else diff --git a/demo/more/grid.urs b/demo/more/grid.urs index e47e4139..32f6af15 100644 --- a/demo/more/grid.urs +++ b/demo/more/grid.urs @@ -49,9 +49,9 @@ functor Make(M : sig val showSelection : grid -> source bool val selection : grid -> signal (list M.row) - style tabl - style tr - style th - style td + style tab + style row + style header + style data style agg end diff --git a/demo/more/out/grid.css b/demo/more/out/grid.css index 7903b673..3563123b 100644 --- a/demo/more/out/grid.css +++ b/demo/more/out/grid.css @@ -1,16 +1,16 @@ -.Grid1_tabl { +.Grid1_tab { border-style: solid } -.Grid1_th { +.Grid1_header { border-style: solid } -.Grid1_tr { +.Grid1_row { border-style: solid } -.Grid1_td { +.Grid1_data { border-style: solid } |