| Index: runtime/observatory/lib/src/elements/timeline_page.html
|
| diff --git a/runtime/observatory/lib/src/elements/timeline_page.html b/runtime/observatory/lib/src/elements/timeline_page.html
|
| index 175839c633b25bb8df5490f81f698a60566946e3..433c24278ccd856e057c5c72ace5d825f3aa1322 100644
|
| --- a/runtime/observatory/lib/src/elements/timeline_page.html
|
| +++ b/runtime/observatory/lib/src/elements/timeline_page.html
|
| @@ -9,7 +9,7 @@
|
| <top-nav-menu></top-nav-menu>
|
| <vm-nav-menu vm="{{ app.vm }}"></vm-nav-menu>
|
| <nav-menu link="{{ makeLink('/timeline') }}" anchor="timeline" last="{{ true }}"></nav-menu>
|
| - <nav-refresh id="refresh" callback="{{ refresh }}" label="Get"></nav-refresh>
|
| + <nav-refresh id="refresh" callback="{{ refresh }}" label="Refresh"></nav-refresh>
|
| <nav-refresh callback="{{ clear }}" label="Clear"></nav-refresh>
|
| <nav-refresh callback="{{ saveTimeline }}" label="Save"></nav-refresh>
|
| <nav-refresh callback="{{ loadTimeline }}" label="Load"></nav-refresh>
|
| @@ -22,6 +22,18 @@
|
| <div class="memberValue">{{ recorderName }}</div>
|
| </div>
|
| <div class="memberItem">
|
| + <div class="memberName">Recorded Streams Profile:</div>
|
| + <div class="memberValue">
|
| + <select id="selectPreset" value="{{ streamPresetSelector }}">
|
| + <option value="None">None</option>
|
| + <option value="Dart">Dart Developer</option>
|
| + <option value="VM">VM Developer</option>
|
| + <option value="All">All</option>
|
| + <option value="Custom">Custom</option>
|
| + </select>
|
| + </div>
|
| + </div>
|
| + <div class="memberItem">
|
| <div class="memberName">Recorded Streams:</div>
|
| <div id="streamList" class="memberValue"></div>
|
| </div>
|
|
|