2018-01-15 15:24:18 +00:00
|
|
|
<!-- Copyright 2018 the V8 project authors. All rights reserved.
|
|
|
|
Use of this source code is governed by a BSD-style license that can be
|
|
|
|
found in the LICENSE file. -->
|
|
|
|
<template id="details-selection-template">
|
|
|
|
<style>
|
|
|
|
.box {
|
|
|
|
border-left: dashed 1px #666666;
|
|
|
|
border-right: dashed 1px #666666;
|
|
|
|
border-bottom: dashed 1px #666666;
|
|
|
|
padding: 10px;
|
|
|
|
overflow: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
.box:nth-of-type(1) {
|
|
|
|
border-top: dashed 1px #666666;
|
|
|
|
border-radius: 5px 5px 0px 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.box:last-of-type {
|
|
|
|
border-radius: 0px 0px 5px 5px;
|
|
|
|
}
|
|
|
|
|
2018-01-22 15:50:48 +00:00
|
|
|
.box > ul {
|
|
|
|
margin: 0px;
|
|
|
|
padding: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.box > ul > li {
|
|
|
|
display: inline-block;
|
|
|
|
}
|
|
|
|
|
|
|
|
.box > ul > li:not(:first-child) {
|
|
|
|
margin-left: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.box > ul > li:first-child {
|
2018-01-15 15:24:18 +00:00
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.boxDiv {
|
|
|
|
padding: 3px;
|
|
|
|
float: left;
|
|
|
|
}
|
|
|
|
|
|
|
|
.boxDiv > label {
|
|
|
|
font-size: xx-small;
|
|
|
|
}
|
|
|
|
|
|
|
|
#categories {
|
|
|
|
margin-top: 10px;
|
|
|
|
}
|
2018-01-26 16:30:08 +00:00
|
|
|
|
|
|
|
#category-filter {
|
|
|
|
text-align: right;
|
|
|
|
width: 50px;
|
|
|
|
}
|
|
|
|
|
2018-01-15 15:24:18 +00:00
|
|
|
</style>
|
2018-01-16 13:14:26 +00:00
|
|
|
<h2>Data selection</h2>
|
2018-01-15 17:58:02 +00:00
|
|
|
<ul>
|
|
|
|
<li>
|
|
|
|
<label for="isolate-select">
|
|
|
|
Isolate
|
|
|
|
</label>
|
|
|
|
<select id="isolate-select">
|
|
|
|
<option>No data</option>
|
|
|
|
</select>
|
|
|
|
</li>
|
|
|
|
<li>
|
|
|
|
<label for="dataset-select">
|
|
|
|
Data set
|
|
|
|
</label>
|
|
|
|
<select id="dataset-select">
|
|
|
|
<option>No data</option>
|
|
|
|
</select>
|
|
|
|
</li>
|
|
|
|
<li>
|
|
|
|
<input type="checkbox" id="merge-categories" checked=checked />
|
|
|
|
<label for="merge-categories">
|
|
|
|
Merge categories
|
|
|
|
</label>
|
|
|
|
</li>
|
2018-01-17 15:37:29 +00:00
|
|
|
<li>
|
|
|
|
<label for="gc-select">
|
|
|
|
Garbage collection (at a specific time in ms)
|
|
|
|
</label>
|
|
|
|
<select id="gc-select">
|
|
|
|
<option>No data</option>
|
|
|
|
</select>
|
|
|
|
</li>
|
|
|
|
<li>
|
2018-01-26 16:30:08 +00:00
|
|
|
<input id="category-filter" type="text" value="0" disabled="disabled" />KB
|
|
|
|
<button id="category-filter-btn" disabled="disabled">Filter categories with less memory</button>
|
|
|
|
</li>
|
|
|
|
<li>
|
|
|
|
<button id="csv-export-btn" disabled="disabled">Export selection as CSV</button>
|
2018-01-17 15:37:29 +00:00
|
|
|
</li>
|
2018-01-15 17:58:02 +00:00
|
|
|
</ul>
|
|
|
|
|
2018-01-15 15:24:18 +00:00
|
|
|
<div id="categories"></div>
|
|
|
|
</template>
|
|
|
|
<script type="text/javascript" src="categories.js"></script>
|
|
|
|
<script type="text/javascript" src="details-selection.js"></script>
|