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 <div id="graph-toolbox-anchor"> | 13 <div id="graph-toolbox-anchor"> |
14 <span id="graph-toolbox"> | 14 <span id="graph-toolbox"> |
15 <input id="layout" type="image" title="layout graph" src="layout-icon.
png" | 15 <input id="layout" type="image" title="layout graph" src="layout-icon.
png" |
16 alt="layout graph" class="button-input"> | 16 alt="layout graph" class="button-input"> |
17 <input id="show-all" type="image" title="show all nodes" src="expand-a
ll.jpg" | 17 <input id="show-all" type="image" title="show all nodes" src="expand-a
ll.jpg" |
18 alt="show all nodes" class="button-input"> | 18 alt="show all nodes" class="button-input"> |
| 19 <input id="hide-dead" type="image" title="only live nodes" src="live.p
ng" |
| 20 alt="only live nodes" class="button-input"> |
19 <input id="hide-unselected" type="image" title="hide unselected nodes" | 21 <input id="hide-unselected" type="image" title="hide unselected nodes" |
20 src="hide-unselected.png" alt="hide unselected nodes" class="bu
tton-input"> | 22 src="hide-unselected.png" alt="hide unselected nodes" class="bu
tton-input"> |
21 <input id="hide-selected" type="image" title="hide selected nodes" | 23 <input id="hide-selected" type="image" title="hide selected nodes" |
22 src="hide-selected.png" alt="hide selected nodes" class="button
-input"> | 24 src="hide-selected.png" alt="hide selected nodes" class="button
-input"> |
23 <input id="zoom-selection" type="image" title="zoom to selection" | 25 <input id="zoom-selection" type="image" title="zoom to selection" |
24 src="search.png" alt="zoom to selection" class="button-input"> | 26 src="search.png" alt="zoom to selection" class="button-input"> |
25 <input id="toggle-types" type="image" title="show/hide types" | 27 <input id="toggle-types" type="image" title="show/hide types" |
26 src="types.png" alt="show/hide types" class="button-input"> | 28 src="types.png" alt="show/hide types" class="button-input"> |
27 <input id="search-input" type="text" title="search nodes for regex" | 29 <input id="search-input" type="text" title="search nodes for regex" |
28 alt="search node for regex" class="search-input" | 30 alt="search node for regex" class="search-input" |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
88 <script src="text-view.js"></script> | 90 <script src="text-view.js"></script> |
89 <script src="empty-view.js"></script> | 91 <script src="empty-view.js"></script> |
90 <script src="code-view.js"></script> | 92 <script src="code-view.js"></script> |
91 <script src="graph-layout.js"></script> | 93 <script src="graph-layout.js"></script> |
92 <script src="graph-view.js"></script> | 94 <script src="graph-view.js"></script> |
93 <script src="schedule-view.js"></script> | 95 <script src="schedule-view.js"></script> |
94 <script src="disassembly-view.js"></script> | 96 <script src="disassembly-view.js"></script> |
95 <script src="turbo-visualizer.js"></script> | 97 <script src="turbo-visualizer.js"></script> |
96 </body> | 98 </body> |
97 </html> | 99 </html> |
OLD | NEW |