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_prettify.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.functionChangedHandler();"></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.readLog, false); 34 </script> 35 </body> 36 </html> 37
