OLD | NEW |
(Empty) | |
| 1 <!DOCTYPE html> |
| 2 <html> |
| 3 <head> |
| 4 <title>Sodium</title> |
| 5 <meta charset="utf-8"> |
| 6 <link href="styles.css" rel="stylesheet" type="text/css"> |
| 7 </head> |
| 8 <script src="https://google-code-prettify.googlecode.com/svn/loader/run_pretti
fy.js"></script> |
| 9 <script src="./sodium.js"></script> |
| 10 <script type="text/javascript"></script> |
| 11 <body> |
| 12 <table style='top:5px; width:100%;'> |
| 13 <tr><td id='table-header'> |
| 14 <input type='file' id='log-file-id' /> |
| 15 <select id="kind-selector-id" onchange="Sodium.kindChangedHandler(this
);"></select><br> |
| 16 <select id="function-selector-id" onchange="Sodium.functionChangedHand
ler();"></select> |
| 17 </td></tr> |
| 18 <tr> |
| 19 <table style='height:90%;'> |
| 20 <tr> |
| 21 <td id='asm-container'> |
| 22 <div id='asm-text'></div> |
| 23 </td> |
| 24 <td id='source-container'> |
| 25 <div id='source-text'><pre id='source-text-pre'/></div> |
| 26 </td> |
| 27 </tr> |
| 28 </table> |
| 29 </tr> |
| 30 </table> |
| 31 <script> |
| 32 Sodium.buildFunctionKindSelector(document.getElementById('kind-selector-id
')); |
| 33 document.getElementById('log-file-id').addEventListener('change', Sodium.r
eadLog, false); |
| 34 </script> |
| 35 </body> |
| 36 </html> |
OLD | NEW |