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>
|