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>
|
|
|
|
|
|
|
|
<pre id="debug"></pre>
|