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 <input id="search-input" type="text" title="search nodes for regex" | 26 <input id="search-input" type="text" title="search nodes for regex" |
27 alt="search node for regex" class="search-input"> | 27 alt="search node for regex" class="search-input" |
| 28 placeholder="find with regexp…"> |
28 <select id="display-selector"></select> | 29 <select id="display-selector"></select> |
29 </span> | 30 </span> |
30 <div id="load-file"> | 31 <div id="load-file"> |
31 <input type="file" id="hidden-file-upload"> | 32 <input type="file" id="hidden-file-upload"> |
32 <input id="upload" type="image" title="load graph" class="button-input" | 33 <input id="upload" type="image" title="load graph" class="button-input" |
33 src="upload-icon.png" alt="upload graph"> | 34 src="upload-icon.png" alt="upload graph"> |
34 </div> | 35 </div> |
35 <div id="empty" width="100%" height="100%"></div> | 36 <div id="empty" width="100%" height="100%"></div> |
36 <div id="graph" width="100%" height="100%"></div> | 37 <div id="graph" width="100%" height="100%"></div> |
37 <div id="schedule" width="100%"> | 38 <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> | 80 <script src="text-view.js"></script> |
80 <script src="empty-view.js"></script> | 81 <script src="empty-view.js"></script> |
81 <script src="code-view.js"></script> | 82 <script src="code-view.js"></script> |
82 <script src="graph-layout.js"></script> | 83 <script src="graph-layout.js"></script> |
83 <script src="graph-view.js"></script> | 84 <script src="graph-view.js"></script> |
84 <script src="schedule-view.js"></script> | 85 <script src="schedule-view.js"></script> |
85 <script src="disassembly-view.js"></script> | 86 <script src="disassembly-view.js"></script> |
86 <script src="turbo-visualizer.js"></script> | 87 <script src="turbo-visualizer.js"></script> |
87 </body> | 88 </body> |
88 </html> | 89 </html> |
OLD | NEW |