| 255 |
|
|
| 256 |
let demo(no : Int)(txt : String) : H:Flow = |
let demo(no : Int)(txt : String) : H:Flow = |
| 257 |
let n = [ 'a' !(string_of no) '_' ] in |
let n = [ 'a' !(string_of no) '_' ] in |
| 258 |
[ !(if (no = 1) then [<script src="demo.js" type="text/javascript">[]] |
[ !(if (no = 1) then [<script src="demo.js" type="text/javascript">" "] |
| 259 |
else []) |
else []) |
| 260 |
<table style="width:100%">[ |
<table style="width:100%">[ |
| 261 |
<tr>[ |
<tr>[ |
| 262 |
<td style="width:50%">[ |
<td style="width:50%">[ |
| 263 |
|
<input type="button" id=(n@"btn") value="Edit" onclick=("editable('"@n@"','');")>[] |
| 264 |
(button "Evaluate" ("submit('"@n@"');")) |
(button "Evaluate" ("submit('"@n@"');")) |
| 265 |
(button "Default" ("defreq('"@n@"');")) |
(button "Default" ("defreq('"@n@"');")) |
| 266 |
<input type="submit" id=(n@"btnclear") value="Clear" onclick=("clearreq('"@n@"');")>[] |
<input type="button" id=(n@"btnclear") value="Clear" onclick=("clearreq('"@n@"');") style="visibility:hidden;">[] |
| 267 |
] |
] |
| 268 |
<td style="width:50%">[ |
<td style="width:50%">[ |
| 269 |
<input id=(n@"def") type="hidden" value=txt>[] |
<input id=(n@"def") type="hidden" value=txt>[] |
| 271 |
] ] |
] ] |
| 272 |
<tr>[ |
<tr>[ |
| 273 |
<td valign="top">[ |
<td valign="top">[ |
| 274 |
<div style="position:relative; height:100px;" id=(n@"container")>[ |
<div style="position:relative;" id=(n@"container")>[ |
| 275 |
<pre style="position:absolute; z-index:2; height:auto;" id=(n@"req")>[] |
<pre style="z-level:1;" id=(n@"req")>txt |
| 276 |
<textarea id=(n@"edit") cols="60" rows="25" style="position:absolute; z-index:1; height:auto;">txt |
<textarea id=(n@"edit") cols="60" rows="25" style="position:absolute; top:0px; visibility: hidden; display:block;border:1px solid #CCCCCC; z-level:2; background-color:#EDEDED;">txt |
| 277 |
] |
] |
| 278 |
] |
] |
| 279 |
<td valign="top">[ <div id=(n@"res")>[] ] ] ] ] |
<td valign="top">[ <div id=(n@"res")>[] ] ] ] |
| 280 |
|
] |
| 281 |
|
|
| 282 |
(* Main transformation function *) |
(* Main transformation function *) |
| 283 |
|
|
Parent Directory
| 
Revision Log
| 
Patch