| 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 |