| OLD | NEW |
| 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> | 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> |
| 2 <link rel="import" href="observatory_element.html"> | 2 <link rel="import" href="observatory_element.html"> |
| 3 | 3 |
| 4 <polymer-element name="script-inset" extends="observatory-element"> | 4 <polymer-element name="script-inset" extends="observatory-element"> |
| 5 <template> | 5 <template> |
| 6 <style> | 6 <style> |
| 7 .sourceInset { | 7 .sourceInset { |
| 8 } | 8 } |
| 9 .sourceBox { | 9 .sourceBox { |
| 10 background-color: #f5f5f5; | 10 background-color: #f5f5f5; |
| (...skipping 11 matching lines...) Expand all Loading... |
| 22 display: table-cell; | 22 display: table-cell; |
| 23 vertical-align: top; | 23 vertical-align: top; |
| 24 font: 400 14px consolas, courier, monospace; | 24 font: 400 14px consolas, courier, monospace; |
| 25 line-height: 125%; | 25 line-height: 125%; |
| 26 white-space: pre; | 26 white-space: pre; |
| 27 } | 27 } |
| 28 .sourceItemCurrent { | 28 .sourceItemCurrent { |
| 29 background-color: #6cf; | 29 background-color: #6cf; |
| 30 } | 30 } |
| 31 .hitsNone, .hitsNotExecuted, .hitsExecuted { | 31 .hitsNone, .hitsNotExecuted, .hitsExecuted { |
| 32 display: table-cell; |
| 33 vertical-align: top; |
| 34 font: 400 14px consolas, courier, monospace; |
| 32 min-width: 32px; | 35 min-width: 32px; |
| 33 text-align: right; | 36 text-align: right; |
| 37 color: #a8a8a8; |
| 34 } | 38 } |
| 35 .hitsNotExecuted { | 39 .hitsNotExecuted { |
| 36 background-color: #e66; | 40 background-color: #e66; |
| 37 } | 41 } |
| 38 .hitsExecuted { | 42 .hitsExecuted { |
| 39 background-color: #6d6; | 43 background-color: #6d6; |
| 40 } | 44 } |
| 41 </style> | 45 </style> |
| 42 <div class="sourceInset"> | 46 <div class="sourceInset"> |
| 43 <content></content> | 47 <content></content> |
| 44 <div class="sourceBox" style="max-height:{{height}}"> | 48 <div class="sourceBox" style="max-height:{{height}}"> |
| 45 <div class="sourceTable"> | 49 <div class="sourceTable"> |
| 46 <template if="{{ linesReady }}"> | 50 <template if="{{ linesReady }}"> |
| 47 <template repeat="{{ line in lines }}"> | 51 <template repeat="{{ line in lines }}"> |
| 48 <div class="sourceRow" id="{{ makeLineId(line.line) }}"> | 52 <template if="{{ line != null }}"> |
| 49 <breakpoint-toggle line="{{ line }}"></breakpoint-toggle> | 53 <div class="sourceRow" id="{{ makeLineId(line.line) }}"> |
| 54 <breakpoint-toggle line="{{ line }}"></breakpoint-toggle> |
| 50 | 55 |
| 56 <div class="sourceItem"> </div> |
| 57 |
| 58 <template if="{{ line.hits == null || |
| 59 line.hits < 0 }}"> |
| 60 <div class="hitsNone">{{ line.line }}</div> |
| 61 </template> |
| 62 <template if="{{ line.hits == 0 }}"> |
| 63 <div class="hitsNotExecuted">{{ line.line }}</div> |
| 64 </template> |
| 65 <template if="{{ line.hits > 0 }}"> |
| 66 <div class="hitsExecuted">{{ line.line }}</div> |
| 67 </template> |
| 68 |
| 69 <div class="sourceItem"> </div> |
| 70 |
| 71 <template if="{{ line.line == currentLine }}"> |
| 72 <div class="sourceItemCurrent">{{line.text}}</div> |
| 73 </template> |
| 74 <template if="{{ line.line != currentLine }}"> |
| 75 <div class="sourceItem">{{line.text}}</div> |
| 76 </template> |
| 77 </div> |
| 78 </template> |
| 79 |
| 80 <template if="{{ line == null }}"> |
| 81 <breakpoint-toggle line="{{ null }}"></breakpoint-toggle> |
| 51 <div class="sourceItem"> </div> | 82 <div class="sourceItem"> </div> |
| 83 <div class="hitsNone">...</div> |
| 84 <div class="sourceItem"> </div> |
| 85 <div class="sourceItem"></div> |
| 86 </template> |
| 52 | 87 |
| 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> | 88 </template> |
| 74 </template> | 89 </template> |
| 75 | 90 |
| 76 <template if="{{ !linesReady }}"> | 91 <template if="{{ !linesReady }}"> |
| 77 <div class="sourceRow"> | 92 <div class="sourceRow"> |
| 78 <div class="sourceItem">loading...</div> | 93 <div class="sourceItem">loading...</div> |
| 79 </div> | 94 </div> |
| 80 </template> | 95 </template> |
| 81 </div> | 96 </div> |
| 82 </div> | 97 </div> |
| (...skipping 27 matching lines...) Expand all Loading... |
| 110 .unresolvedBreakpoint { | 125 .unresolvedBreakpoint { |
| 111 color: white; | 126 color: white; |
| 112 background-color: #cac; | 127 background-color: #cac; |
| 113 } | 128 } |
| 114 .resolvedBreakpoint { | 129 .resolvedBreakpoint { |
| 115 color: white; | 130 color: white; |
| 116 background-color: #e66; | 131 background-color: #e66; |
| 117 } | 132 } |
| 118 </style> | 133 </style> |
| 119 | 134 |
| 120 <template if="{{ line.possibleBpt && busy}}"> | 135 <template if="{{ line == null }}"> |
| 121 <div class="busyBreakpoint">B</div> | |
| 122 </template> | |
| 123 | |
| 124 <template if="{{ line.bpt == null && !line.possibleBpt }}"> | |
| 125 <div class="emptyBreakpoint"> </div> | 136 <div class="emptyBreakpoint"> </div> |
| 126 </template> | 137 </template> |
| 127 | 138 |
| 128 <template if="{{ line.bpt == null && line.possibleBpt && !busy}}"> | 139 <template if="{{ line != null }}"> |
| 129 <div class="possibleBreakpoint"> | 140 <template if="{{ line.possibleBpt && busy}}"> |
| 130 <a on-click="{{ toggleBreakpoint }}">B</a> | 141 <div class="busyBreakpoint">B</div> |
| 131 </div> | 142 </template> |
| 132 </template> | |
| 133 | 143 |
| 134 <template if="{{ line.bpt != null && !line.bpt['resolved'] && !busy}}"> | 144 <template if="{{ line.bpt == null && !line.possibleBpt }}"> |
| 135 <div class="unresolvedBreakpoint"> | 145 <div class="emptyBreakpoint"> </div> |
| 136 <a on-click="{{ toggleBreakpoint }}">B</a> | 146 </template> |
| 137 </div> | |
| 138 </template> | |
| 139 | 147 |
| 140 <template if="{{ line.bpt != null && line.bpt['resolved'] && !busy}}"> | 148 <template if="{{ line.bpt == null && line.possibleBpt && !busy}}"> |
| 141 <div class="resolvedBreakpoint"> | 149 <div class="possibleBreakpoint"> |
| 142 <a on-click="{{ toggleBreakpoint }}">B</a> | 150 <a on-click="{{ toggleBreakpoint }}">B</a> |
| 143 </div> | 151 </div> |
| 144 </template> | 152 </template> |
| 153 |
| 154 <template if="{{ line.bpt != null && !line.bpt['resolved'] && !busy}}"> |
| 155 <div class="unresolvedBreakpoint"> |
| 156 <a on-click="{{ toggleBreakpoint }}">B</a> |
| 157 </div> |
| 158 </template> |
| 159 |
| 160 <template if="{{ line.bpt != null && line.bpt['resolved'] && !busy}}"> |
| 161 <div class="resolvedBreakpoint"> |
| 162 <a on-click="{{ toggleBreakpoint }}">B</a> |
| 163 </div> |
| 164 </template> |
| 165 </template> <!-- line != null --> |
| 145 | 166 |
| 146 </template> | 167 </template> |
| 147 </polymer-element> | 168 </polymer-element> |
| 148 | 169 |
| 149 <script type="application/dart" src="script_inset.dart"></script> | 170 <script type="application/dart" src="script_inset.dart"></script> |
| OLD | NEW |