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

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

Issue 1584173003: Use getSourceReport for coverage/callsites in Observatory. (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: cleanups Created 4 years, 11 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
Index: runtime/observatory/lib/src/elements/script_inset.html
diff --git a/runtime/observatory/lib/src/elements/script_inset.html b/runtime/observatory/lib/src/elements/script_inset.html
index a76ae424bebc6f482aedcc14d2621a94a82c8ce7..92d294028d5e80eb1c17f7e218721619a0b67987 100644
--- a/runtime/observatory/lib/src/elements/script_inset.html
+++ b/runtime/observatory/lib/src/elements/script_inset.html
@@ -1,6 +1,19 @@
<link rel="import" href="../../../../packages/polymer/polymer.html">
<link rel="import" href="observatory_element.html">
+<polymer-element name="icon-refresh" noscript>
+ <template>
+ <style>
+ svg {
+ fill: currentColor
+ }
+ </style>
+ <svg width="24" height="24">
+ <path d="M17.65 6.35C16.2 4.9 14.21 4 12 4c-4.42 0-7.99 3.58-7.99 8s3.57 8 7.99 8c3.73 0 6.84-2.55 7.73-6h-2.08c-.82 2.33-3.04 4-5.65 4-3.31 0-6-2.69-6-6s2.69-6 6-6c1.66 0 3.14.69 4.22 1.78L13 11h7V4l-2.35 2.35z"/>
+ </svg>
+ </template>
+</polymer-element>
+
<polymer-element name="script-inset" extends="observatory-element">
<template>
<style>
@@ -14,6 +27,7 @@
.sourceInset {
}
.sourceTable {
+ position: relative;
background-color: #f5f5f5;
border: 1px solid #ccc;
padding: 10px;
@@ -39,7 +53,7 @@
.currentCol {
background-color: #6cf;
}
- .hitsCurrent, .hitsNone, .hitsNotExecuted, .hitsExecuted {
+ .hitsCurrent, .hitsNone, .hitsNotExecuted, .hitsExecuted, .hitsCompiled, .hitsNotCompiled {
display: table-cell;
vertical-align: top;
font: 400 14px consolas, courier, monospace;
@@ -58,6 +72,13 @@
.hitsExecuted {
background-color: #aea;
}
+ .hitsCompiled {
+ background-color: #e0e0e0;
+ }
+ .hitsNotCompiled {
+ background-color: #f0c5c5;
+ }
+
.noCopy {}
.emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpoint, .resolvedBreakpoint {
display: table-cell;
@@ -99,12 +120,40 @@
</template>
</polymer-element>
+<polymer-element name="refresh-button">
+ <template>
+ <style>
+ .refreshButton {
+ color: rgba(0,0,0,.3);
+ }
+ .refreshButton:hover {
+ color: black;
+ }
+ .refreshButtonDisabled {
+ color: white;
+ cursor: wait;
+ }
+ </style>
+ <template if="{{ callback != null }}">
+ <template if="{{ busy }}">
+ <icon-refresh id="refreshIcon" class="refreshButtonDisabled">
+ </icon-refresh>
+ </template>
+ <template if="{{ !busy }}">
+ <a on-click="{{ buttonClick }}">
+ <icon-refresh id="refreshIcon" class="refreshButton"></icon-refresh>
+ </a>
+ </template>
+ </template>
+ </template>
+</polymer-element>
<polymer-element name="source-inset">
<template>
<template if="{{ location != null }}">
<script-inset script="{{ location.script }}"
startPos="{{ location.tokenPos }}"
+ scroller="{{ scroller }}"
endPos="{{ location.endTokenPos }}"
height="{{ height }}"
currentPos="{{ currentPos }}"

Powered by Google App Engine
This is Rietveld 408576698