2011-11-04 02:43:46 +01:00
|
|
|
<!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; }
|
2011-11-09 14:09:01 +01:00
|
|
|
#tooltip { background: #ffd; padding: 4px; font: 12px sans-serif; border: 1px #880 solid; }
|
|
|
|
#tooltip.long { -moz-column-count: 2; }
|
2011-11-04 02:43:46 +01:00
|
|
|
</style>
|
|
|
|
|
|
|
|
<button onclick="refresh()">Refresh</button>
|
|
|
|
<br>
|
|
|
|
<div id="timelines"></div>
|
|
|
|
|
|
|
|
<div id="tooltip" style="position: absolute; visibility: hidden"></div>
|
|
|
|
|
2011-12-21 12:28:24 +01:00
|
|
|
Search: <input id="regionsearch" oninput="search_regions(this.value)">
|
|
|
|
<table id="regionsearchresult">
|
|
|
|
<thead>
|
|
|
|
<tr><th>Frame<th>Region<th>Time (msec)
|
|
|
|
</thead>
|
|
|
|
<tbody>
|
|
|
|
</table>
|
|
|
|
|
2011-11-04 02:43:46 +01:00
|
|
|
<pre id="debug"></pre>
|