OLD | NEW |
1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <link rel="stylesheet" href="turbo-visualizer.css" /> | 4 <link rel="stylesheet" href="turbo-visualizer.css" /> |
5 </head> | 5 </head> |
6 <body width="100%"> | 6 <body width="100%"> |
7 <div id="left"> | 7 <div id="left"> |
8 <div id='source-text'> | 8 <div id='source-text'> |
9 <pre id='source-text-pre'\> | 9 <pre id='source-text-pre'\> |
10 </div> | 10 </div> |
11 </div> | 11 </div> |
12 <div id="middle"> | 12 <div id="middle"> |
13 <span id="graph-toolbox"> | 13 <div id="graph-toolbox-anchor"> |
14 <input id="layout" type="image" title="layout graph" src="layout-icon.pn
g" | 14 <span id="graph-toolbox"> |
15 alt="layout graph" class="button-input"> | 15 <input id="layout" type="image" title="layout graph" src="layout-icon.
png" |
16 <input id="show-all" type="image" title="show all nodes" src="expand-all
.jpg" | 16 alt="layout graph" class="button-input"> |
17 alt="show all nodes" class="button-input"> | 17 <input id="show-all" type="image" title="show all nodes" src="expand-a
ll.jpg" |
18 <input id="hide-unselected" type="image" title="hide unselected nodes" | 18 alt="show all nodes" class="button-input"> |
19 src="hide-unselected.png" alt="hide unselected nodes" class="butt
on-input"> | 19 <input id="hide-unselected" type="image" title="hide unselected nodes" |
20 <input id="hide-selected" type="image" title="hide selected nodes" | 20 src="hide-unselected.png" alt="hide unselected nodes" class="bu
tton-input"> |
21 src="hide-selected.png" alt="hide selected nodes" class="button-i
nput"> | 21 <input id="hide-selected" type="image" title="hide selected nodes" |
22 <input id="zoom-selection" type="image" title="zoom to selection" | 22 src="hide-selected.png" alt="hide selected nodes" class="button
-input"> |
23 src="search.png" alt="zoom to selection" class="button-input"> | 23 <input id="zoom-selection" type="image" title="zoom to selection" |
24 <input id="toggle-types" type="image" title="show/hide types" | 24 src="search.png" alt="zoom to selection" class="button-input"> |
25 src="types.png" alt="show/hide types" class="button-input"> | 25 <input id="toggle-types" type="image" title="show/hide types" |
26 <input id="search-input" type="text" title="search nodes for regex" | 26 src="types.png" alt="show/hide types" class="button-input"> |
27 alt="search node for regex" class="search-input" | 27 <input id="search-input" type="text" title="search nodes for regex" |
28 placeholder="find with regexp…"> | 28 alt="search node for regex" class="search-input" |
29 <select id="display-selector"></select> | 29 placeholder="find with regexp…"> |
30 </span> | 30 <select id="display-selector"> |
| 31 <option disabled selected>(please open a file)</option> |
| 32 </select> |
| 33 </span> |
| 34 </div> |
| 35 |
31 <div id="load-file"> | 36 <div id="load-file"> |
32 <input type="file" id="hidden-file-upload"> | 37 <input type="file" id="hidden-file-upload"> |
33 <input id="upload" type="image" title="load graph" class="button-input" | 38 <input id="upload" type="image" title="load graph" class="button-input" |
34 src="upload-icon.png" alt="upload graph"> | 39 src="upload-icon.png" alt="upload graph"> |
35 </div> | 40 </div> |
36 <div id="empty" width="100%" height="100%"></div> | 41 <div id="empty" width="100%" height="100%"></div> |
37 <div id="graph" width="100%" height="100%"></div> | 42 <div id="graph" width="100%" height="100%"></div> |
38 <div id="schedule" width="100%"> | 43 <div id="schedule" width="100%"> |
39 <pre id="schedule-text-pre" class='prettyprint prettyprinted'> | 44 <pre id="schedule-text-pre" class='prettyprint prettyprinted'> |
40 <ul id="schedule-list" class='nolinenums noindent'> | 45 <ul id="schedule-list" class='nolinenums noindent'> |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
80 <script src="text-view.js"></script> | 85 <script src="text-view.js"></script> |
81 <script src="empty-view.js"></script> | 86 <script src="empty-view.js"></script> |
82 <script src="code-view.js"></script> | 87 <script src="code-view.js"></script> |
83 <script src="graph-layout.js"></script> | 88 <script src="graph-layout.js"></script> |
84 <script src="graph-view.js"></script> | 89 <script src="graph-view.js"></script> |
85 <script src="schedule-view.js"></script> | 90 <script src="schedule-view.js"></script> |
86 <script src="disassembly-view.js"></script> | 91 <script src="disassembly-view.js"></script> |
87 <script src="turbo-visualizer.js"></script> | 92 <script src="turbo-visualizer.js"></script> |
88 </body> | 93 </body> |
89 </html> | 94 </html> |
OLD | NEW |