1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
<!DOCTYPE html>
<title>0 A.D. profiler UI</title>
<script src="jquery-1.6.4.js"></script>
<script src="profiler2.js"></script>
<script>
$(refresh);
</script>
<style>
canvas { border: 1px #ddd solid; }
#tooltip { background: #ffd; padding: 4px; font: 12px sans-serif; border: 1px #880 solid; }
#tooltip.long { -moz-column-count: 2; }
</style>
<button onclick="refresh()">Refresh</button>
<br>
<div id="timelines"></div>
<div id="tooltip" style="position: absolute; visibility: hidden"></div>
Search: <input id="regionsearch" oninput="search_regions(this.value)">
<table id="regionsearchresult">
<thead>
<tr><th>Frame<th>Region<th>Time (msec)
</thead>
<tbody>
</table>
<pre id="debug"></pre>
|
