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> | |
Dmitry Lomov (no reviews)
2013/10/18 16:07:53
Are you sure you want to load it from there? It is
danno
2013/10/19 17:11:40
Yeah, for now. It's ugly, but that what is recomme
| |
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'></div> | |
26 </td> | |
27 </tr> | |
28 </table> | |
29 </tr> | |
30 </table> | |
31 <script> | |
32 Sodium.buildFunctionKindSelector(); | |
33 </script> | |
34 </body> | |
35 </html> | |
OLD | NEW |