| 1 | <!DOCTYPE html>
|
| 2 | <html>
|
| 3 |
|
| 4 | <!--
|
| 5 | TODO: Would be nice to either:
|
| 6 | - scroll iframes together
|
| 7 | - The conversion of osh to oil is line-for-line (but the AST isn't.)
|
| 8 | - maybe scroll 2 of them together, and provide a textbox for the others
|
| 9 |
|
| 10 | - provide a line number text box
|
| 11 |
|
| 12 | - provide a search textbox
|
| 13 | - API to scroll to text position?
|
| 14 |
|
| 15 | - fragment params:
|
| 16 | - line to highlight?
|
| 17 | - could even be the filename to load. then you don't have to generate so
|
| 18 | much code.
|
| 19 | -->
|
| 20 |
|
| 21 | <head>
|
| 22 | <script type="text/javascript" src="osh-to-oil.js"></script>
|
| 23 | <style>
|
| 24 | iframe {
|
| 25 | width: 700px;
|
| 26 | height: 700px;
|
| 27 | }
|
| 28 | /* For AJAX errors */
|
| 29 | #status {
|
| 30 | text-align: center;
|
| 31 | font-size: x-large;
|
| 32 | color: darkred;
|
| 33 | }
|
| 34 | </style>
|
| 35 | </head>
|
| 36 |
|
| 37 | <body onload="onLoad(location.hash, globals, kStatusElem);"
|
| 38 | onhashchange="onHashChange(location.hash, globals, kStatusElem);">
|
| 39 |
|
| 40 | <p>Up to <a href="index.html">WILD/</a></p>
|
| 41 |
|
| 42 | <p id="status"></p>
|
| 43 |
|
| 44 | <h2 id="title"></h2>
|
| 45 |
|
| 46 | <!--
|
| 47 | TODO: provide direct links too
|
| 48 | <p>
|
| 49 | Original Source: <a href="acpid.txt">acpid.txt</a><br/>
|
| 50 | AST in <a href="acpid-AST.html">HTML</a>, <a href="acpid-AST.txt">text</a><br/>
|
| 51 | <a href="acpid.oil">Auto-conversion to Oil</a><br/>
|
| 52 | </p>
|
| 53 | -->
|
| 54 |
|
| 55 | <p>
|
| 56 | <i>(Widen your browser until OSH and Oil code appears side by side)</i>
|
| 57 | </p>
|
| 58 |
|
| 59 | <p>Single Page:
|
| 60 | <a id="link-orig" href="">Shell</a> /
|
| 61 | <a id="link-oil" href="">Oil</a> /
|
| 62 | <a id="link-ast" href="">AST</a>
|
| 63 | </p>
|
| 64 |
|
| 65 | <!-- src filled in from URL hash -->
|
| 66 | <iframe id="orig" src=""></iframe>
|
| 67 | <iframe id="oil" src=""></iframe>
|
| 68 | <iframe id="ast" src=""></iframe>
|
| 69 |
|
| 70 | <!-- page globals -->
|
| 71 | <script type="text/javascript">
|
| 72 | var globals = {}; // currently unused
|
| 73 | var kStatusElem = document.getElementById('status');
|
| 74 | </script>
|
| 75 |
|
| 76 | </body>
|
| 77 | </html>
|