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 <span id="graph-toolbox"> |
14 <input id="layout" type="image" title="layout graph" src="layout-icon.pn
g" | 14 <input id="layout" type="image" title="layout graph" src="layout-icon.pn
g" |
15 alt="layout graph" class="button-input"> | 15 alt="layout graph" class="button-input"> |
16 <input id="show-all" type="image" title="show all nodes" src="expand-all
.jpg" | 16 <input id="show-all" type="image" title="show all nodes" src="expand-all
.jpg" |
17 alt="show all nodes" class="button-input"> | 17 alt="show all nodes" class="button-input"> |
18 <input id="hide-unselected" type="image" title="hide unselected nodes" | 18 <input id="hide-unselected" type="image" title="hide unselected nodes" |
19 src="hide-unselected.png" alt="hide unselected nodes" class="butt
on-input"> | 19 src="hide-unselected.png" alt="hide unselected nodes" class="butt
on-input"> |
20 <input id="hide-selected" type="image" title="hide selected nodes" | 20 <input id="hide-selected" type="image" title="hide selected nodes" |
21 src="hide-selected.png" alt="hide selected nodes" class="button-i
nput"> | 21 src="hide-selected.png" alt="hide selected nodes" class="button-i
nput"> |
22 <input id="zoom-selection" type="image" title="zoom to selection" | 22 <input id="zoom-selection" type="image" title="zoom to selection" |
23 src="search.png" alt="zoom to selection" class="button-input"> | 23 src="search.png" alt="zoom to selection" class="button-input"> |
24 <input id="toggle-types" type="image" title="show/hide types" | 24 <input id="toggle-types" type="image" title="show/hide types" |
25 src="types.png" alt="show/hide types" class="button-input"> | 25 src="types.png" alt="show/hide types" class="button-input"> |
| 26 <button id="show-effects" type="button" title="show all effect edges tra
nsitively" |
| 27 alt="show all effect edges transitively" class="button-input"> |
| 28 <i>E</i> |
| 29 </button> |
| 30 <button id="hide-control" type="button" title="hide all control edges" |
| 31 alt="hide all control edges" class="button-input" |
| 32 style="width:auto"> |
| 33 <i>¬C</i> |
| 34 </button> |
26 <input id="search-input" type="text" title="search nodes for regex" | 35 <input id="search-input" type="text" title="search nodes for regex" |
27 alt="search node for regex" class="search-input"> | 36 alt="search node for regex" class="search-input" |
| 37 placeholder="find with regexp…"> |
28 <select id="display-selector"></select> | 38 <select id="display-selector"></select> |
29 </span> | 39 </span> |
30 <div id="load-file"> | 40 <div id="load-file"> |
31 <input type="file" id="hidden-file-upload"> | 41 <input type="file" id="hidden-file-upload"> |
32 <input id="upload" type="image" title="load graph" class="button-input" | 42 <input id="upload" type="image" title="load graph" class="button-input" |
33 src="upload-icon.png" alt="upload graph"> | 43 src="upload-icon.png" alt="upload graph"> |
34 </div> | 44 </div> |
35 <div id="empty" width="100%" height="100%"></div> | 45 <div id="empty" width="100%" height="100%"></div> |
36 <div id="graph" width="100%" height="100%"></div> | 46 <div id="graph" width="100%" height="100%"></div> |
37 <div id="schedule" width="100%"> | 47 <div id="schedule" width="100%"> |
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
79 <script src="text-view.js"></script> | 89 <script src="text-view.js"></script> |
80 <script src="empty-view.js"></script> | 90 <script src="empty-view.js"></script> |
81 <script src="code-view.js"></script> | 91 <script src="code-view.js"></script> |
82 <script src="graph-layout.js"></script> | 92 <script src="graph-layout.js"></script> |
83 <script src="graph-view.js"></script> | 93 <script src="graph-view.js"></script> |
84 <script src="schedule-view.js"></script> | 94 <script src="schedule-view.js"></script> |
85 <script src="disassembly-view.js"></script> | 95 <script src="disassembly-view.js"></script> |
86 <script src="turbo-visualizer.js"></script> | 96 <script src="turbo-visualizer.js"></script> |
87 </body> | 97 </body> |
88 </html> | 98 </html> |
OLD | NEW |