| Index: runtime/bin/vmservice/observatory/lib/src/elements/script_inset.html
|
| diff --git a/runtime/bin/vmservice/observatory/lib/src/elements/script_inset.html b/runtime/bin/vmservice/observatory/lib/src/elements/script_inset.html
|
| deleted file mode 100644
|
| index 52b72e572e1ef913729fd36813b491e3bd77996a..0000000000000000000000000000000000000000
|
| --- a/runtime/bin/vmservice/observatory/lib/src/elements/script_inset.html
|
| +++ /dev/null
|
| @@ -1,149 +0,0 @@
|
| -<link rel="import" href="../../../../packages/polymer/polymer.html">
|
| -<link rel="import" href="observatory_element.html">
|
| -
|
| -<polymer-element name="script-inset" extends="observatory-element">
|
| - <template>
|
| - <style>
|
| - .sourceInset {
|
| - }
|
| - .sourceBox {
|
| - background-color: #f5f5f5;
|
| - border: 1px solid #ccc;
|
| - padding: 10px;
|
| - overflow-y: auto;
|
| - }
|
| - .sourceTable {
|
| - display: table;
|
| - }
|
| - .sourceRow {
|
| - display: table-row;
|
| - }
|
| - .sourceItem, .sourceItemCurrent {
|
| - display: table-cell;
|
| - vertical-align: top;
|
| - font: 400 14px consolas, courier, monospace;
|
| - line-height: 125%;
|
| - white-space: pre;
|
| - }
|
| - .sourceItemCurrent {
|
| - background-color: #6cf;
|
| - }
|
| - .hitsNone, .hitsNotExecuted, .hitsExecuted {
|
| - min-width: 32px;
|
| - text-align: right;
|
| - }
|
| - .hitsNotExecuted {
|
| - background-color: #e66;
|
| - }
|
| - .hitsExecuted {
|
| - background-color: #6d6;
|
| - }
|
| - </style>
|
| - <div class="sourceInset">
|
| - <content></content>
|
| - <div class="sourceBox" style="max-height:{{height}}">
|
| - <div class="sourceTable">
|
| - <template if="{{ linesReady }}">
|
| - <template repeat="{{ line in lines }}">
|
| - <div class="sourceRow" id="{{ makeLineId(line.line) }}">
|
| - <breakpoint-toggle line="{{ line }}"></breakpoint-toggle>
|
| -
|
| - <div class="sourceItem"> </div>
|
| -
|
| - <template if="{{ line.hits == null ||
|
| - line.hits < 0 }}">
|
| - <div class="hitsNone">{{ line.line }}</div>
|
| - </template>
|
| - <template if="{{ line.hits == 0 }}">
|
| - <div class="hitsNotExecuted">{{ line.line }}</div>
|
| - </template>
|
| - <template if="{{ line.hits > 0 }}">
|
| - <div class="hitsExecuted">{{ line.line }}</div>
|
| - </template>
|
| -
|
| - <div class="sourceItem"> </div>
|
| -
|
| - <template if="{{ line.line == currentLine }}">
|
| - <div class="sourceItemCurrent">{{line.text}}</div>
|
| - </template>
|
| - <template if="{{ line.line != currentLine }}">
|
| - <div class="sourceItem">{{line.text}}</div>
|
| - </template>
|
| - </div>
|
| - </template>
|
| - </template>
|
| -
|
| - <template if="{{ !linesReady }}">
|
| - <div class="sourceRow">
|
| - <div class="sourceItem">loading...</div>
|
| - </div>
|
| - </template>
|
| - </div>
|
| - </div>
|
| - </div>
|
| - </template>
|
| -</polymer-element>
|
| -
|
| -<polymer-element name="breakpoint-toggle" extends="observatory-element">
|
| - <template>
|
| - <style>
|
| - .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpoint, .resolvedBreakpoint {
|
| - display: table-cell;
|
| - vertical-align: top;
|
| - font: 400 14px consolas, courier, monospace;
|
| - min-width: 1em;
|
| - text-align: center;
|
| - cursor: pointer;
|
| - }
|
| - .possibleBreakpoint {
|
| - color: #e0e0e0;
|
| - }
|
| - .possibleBreakpoint:hover {
|
| - color: white;
|
| - background-color: #777;
|
| - }
|
| - .busyBreakpoint {
|
| - color: white;
|
| - background-color: black;
|
| - cursor: wait;
|
| - }
|
| - .unresolvedBreakpoint {
|
| - color: white;
|
| - background-color: #cac;
|
| - }
|
| - .resolvedBreakpoint {
|
| - color: white;
|
| - background-color: #e66;
|
| - }
|
| - </style>
|
| -
|
| - <template if="{{ line.possibleBpt && busy}}">
|
| - <div class="busyBreakpoint">B</div>
|
| - </template>
|
| -
|
| - <template if="{{ line.bpt == null && !line.possibleBpt }}">
|
| - <div class="emptyBreakpoint"> </div>
|
| - </template>
|
| -
|
| - <template if="{{ line.bpt == null && line.possibleBpt && !busy}}">
|
| - <div class="possibleBreakpoint">
|
| - <a on-click="{{ toggleBreakpoint }}">B</a>
|
| - </div>
|
| - </template>
|
| -
|
| - <template if="{{ line.bpt != null && !line.bpt['resolved'] && !busy}}">
|
| - <div class="unresolvedBreakpoint">
|
| - <a on-click="{{ toggleBreakpoint }}">B</a>
|
| - </div>
|
| - </template>
|
| -
|
| - <template if="{{ line.bpt != null && line.bpt['resolved'] && !busy}}">
|
| - <div class="resolvedBreakpoint">
|
| - <a on-click="{{ toggleBreakpoint }}">B</a>
|
| - </div>
|
| - </template>
|
| -
|
| - </template>
|
| -</polymer-element>
|
| -
|
| -<script type="application/dart" src="script_inset.dart"></script>
|
|
|