| 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 }}"
|
|
|