Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(432)

Unified Diff: runtime/observatory/lib/src/elements/timeline_page.html

Issue 1975953002: Add Timeline Developer Profiles for faster category switching (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: Created 4 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « runtime/observatory/lib/src/elements/timeline_page.dart ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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>
« no previous file with comments | « runtime/observatory/lib/src/elements/timeline_page.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698