Mercurial > urweb

comparison demo/more/grid.ur @ 1641:68429cfce8db

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr>
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 19:02:04 -0500
parents 78fe9841c39d
children 9253765d7724
comparison
equal deleted inserted replaced
1640:dc986eb6113c 1641:68429cfce8db
123 123
124 fun render (grid : grid) = <xml> 124 fun render (grid : grid) = <xml>
125 <table class={tabl}> 125 <table class={tabl}>
126 <tr class={tr}> 126 <tr class={tr}>
127 <th/> <th/> <th><button value="No sort" onclick={set grid.Sort None}/></th> 127 <th/> <th/> <th><button value="No sort" onclick={set grid.Sort None}/></th>
128 {@mapX2 [fst3] [colMeta M.row] [[Body, Tr]] 128 {@mapX2 [fst3] [colMeta M.row] [tr]
129 (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest] 129 (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest]
130 data (meta : colMeta M.row p) => 130 data (meta : colMeta M.row p) =>
131 <xml><th class={th}> 131 <xml><th class={th}>
132 {case (meta.Handlers data).Sort of 132 {case (meta.Handlers data).Sort of
133 None => txt (meta.Handlers data).Header 133 None => txt (meta.Handlers data).Header