comparison demo/more/grid.ur @ 943:e2194a6793ae

Fix JavaScript char literals; don't generate demo links to nonexistent files
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 13:07:57 -0400
parents b8d7a47b8e0c
children da3ec6014d2f
comparison
equal deleted inserted replaced
942:280f81731426 943:e2194a6793ae
82 List.app (addRow cols rows) init 82 List.app (addRow cols rows) init
83 83
84 fun render grid = <xml> 84 fun render grid = <xml>
85 <table class={tabl}> 85 <table class={tabl}>
86 <tr class={tr}> 86 <tr class={tr}>
87 <th/> <th/> 87 <th/> <th/> <th/>
88 {foldRX2 [fst] [colMeta M.row] [_] 88 {foldRX2 [fst] [colMeta M.row] [_]
89 (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest] 89 (fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest]
90 data (meta : colMeta M.row p) => 90 data (meta : colMeta M.row p) =>
91 <xml><th class={th}>{[(meta.Handlers data).Header]}</th></xml>) 91 <xml><th class={th}>{[(meta.Handlers data).Header]}</th></xml>)
92 [_] M.folder grid.Cols M.cols} 92 [_] M.folder grid.Cols M.cols}