| OLD | NEW |
| (Empty) |
| 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> | |
| 2 <link rel="import" href="observatory_element.html"> | |
| 3 | |
| 4 <polymer-element name="script-inset" extends="observatory-element"> | |
| 5 <template> | |
| 6 <style> | |
| 7 .sourceInset { | |
| 8 } | |
| 9 .sourceBox { | |
| 10 background-color: #f5f5f5; | |
| 11 border: 1px solid #ccc; | |
| 12 padding: 10px; | |
| 13 overflow-y: auto; | |
| 14 } | |
| 15 .sourceTable { | |
| 16 display: table; | |
| 17 } | |
| 18 .sourceRow { | |
| 19 display: table-row; | |
| 20 } | |
| 21 .sourceItem, .sourceItemCurrent { | |
| 22 display: table-cell; | |
| 23 vertical-align: top; | |
| 24 font: 400 14px consolas, courier, monospace; | |
| 25 line-height: 125%; | |
| 26 white-space: pre; | |
| 27 } | |
| 28 .sourceItemCurrent { | |
| 29 background-color: #6cf; | |
| 30 } | |
| 31 .hitsNone, .hitsNotExecuted, .hitsExecuted { | |
| 32 min-width: 32px; | |
| 33 text-align: right; | |
| 34 } | |
| 35 .hitsNotExecuted { | |
| 36 background-color: #e66; | |
| 37 } | |
| 38 .hitsExecuted { | |
| 39 background-color: #6d6; | |
| 40 } | |
| 41 </style> | |
| 42 <div class="sourceInset"> | |
| 43 <content></content> | |
| 44 <div class="sourceBox" style="max-height:{{height}}"> | |
| 45 <div class="sourceTable"> | |
| 46 <template if="{{ linesReady }}"> | |
| 47 <template repeat="{{ line in lines }}"> | |
| 48 <div class="sourceRow" id="{{ makeLineId(line.line) }}"> | |
| 49 <breakpoint-toggle line="{{ line }}"></breakpoint-toggle> | |
| 50 | |
| 51 <div class="sourceItem"> </div> | |
| 52 | |
| 53 <template if="{{ line.hits == null || | |
| 54 line.hits < 0 }}"> | |
| 55 <div class="hitsNone">{{ line.line }}</div> | |
| 56 </template> | |
| 57 <template if="{{ line.hits == 0 }}"> | |
| 58 <div class="hitsNotExecuted">{{ line.line }}</div> | |
| 59 </template> | |
| 60 <template if="{{ line.hits > 0 }}"> | |
| 61 <div class="hitsExecuted">{{ line.line }}</div> | |
| 62 </template> | |
| 63 | |
| 64 <div class="sourceItem"> </div> | |
| 65 | |
| 66 <template if="{{ line.line == currentLine }}"> | |
| 67 <div class="sourceItemCurrent">{{line.text}}</div> | |
| 68 </template> | |
| 69 <template if="{{ line.line != currentLine }}"> | |
| 70 <div class="sourceItem">{{line.text}}</div> | |
| 71 </template> | |
| 72 </div> | |
| 73 </template> | |
| 74 </template> | |
| 75 | |
| 76 <template if="{{ !linesReady }}"> | |
| 77 <div class="sourceRow"> | |
| 78 <div class="sourceItem">loading...</div> | |
| 79 </div> | |
| 80 </template> | |
| 81 </div> | |
| 82 </div> | |
| 83 </div> | |
| 84 </template> | |
| 85 </polymer-element> | |
| 86 | |
| 87 <polymer-element name="breakpoint-toggle" extends="observatory-element"> | |
| 88 <template> | |
| 89 <style> | |
| 90 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo
int, .resolvedBreakpoint { | |
| 91 display: table-cell; | |
| 92 vertical-align: top; | |
| 93 font: 400 14px consolas, courier, monospace; | |
| 94 min-width: 1em; | |
| 95 text-align: center; | |
| 96 cursor: pointer; | |
| 97 } | |
| 98 .possibleBreakpoint { | |
| 99 color: #e0e0e0; | |
| 100 } | |
| 101 .possibleBreakpoint:hover { | |
| 102 color: white; | |
| 103 background-color: #777; | |
| 104 } | |
| 105 .busyBreakpoint { | |
| 106 color: white; | |
| 107 background-color: black; | |
| 108 cursor: wait; | |
| 109 } | |
| 110 .unresolvedBreakpoint { | |
| 111 color: white; | |
| 112 background-color: #cac; | |
| 113 } | |
| 114 .resolvedBreakpoint { | |
| 115 color: white; | |
| 116 background-color: #e66; | |
| 117 } | |
| 118 </style> | |
| 119 | |
| 120 <template if="{{ line.possibleBpt && busy}}"> | |
| 121 <div class="busyBreakpoint">B</div> | |
| 122 </template> | |
| 123 | |
| 124 <template if="{{ line.bpt == null && !line.possibleBpt }}"> | |
| 125 <div class="emptyBreakpoint"> </div> | |
| 126 </template> | |
| 127 | |
| 128 <template if="{{ line.bpt == null && line.possibleBpt && !busy}}"> | |
| 129 <div class="possibleBreakpoint"> | |
| 130 <a on-click="{{ toggleBreakpoint }}">B</a> | |
| 131 </div> | |
| 132 </template> | |
| 133 | |
| 134 <template if="{{ line.bpt != null && !line.bpt['resolved'] && !busy}}"> | |
| 135 <div class="unresolvedBreakpoint"> | |
| 136 <a on-click="{{ toggleBreakpoint }}">B</a> | |
| 137 </div> | |
| 138 </template> | |
| 139 | |
| 140 <template if="{{ line.bpt != null && line.bpt['resolved'] && !busy}}"> | |
| 141 <div class="resolvedBreakpoint"> | |
| 142 <a on-click="{{ toggleBreakpoint }}">B</a> | |
| 143 </div> | |
| 144 </template> | |
| 145 | |
| 146 </template> | |
| 147 </polymer-element> | |
| 148 | |
| 149 <script type="application/dart" src="script_inset.dart"></script> | |
| OLD | NEW |