1
0
forked from 0ad/0ad
0ad/source/tools/profiler2/profiler2.html
2011-12-21 11:28:24 +00:00

28 lines
720 B
HTML

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