| 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; |
| 11 border: 1px solid #ccc; | 11 border: 1px solid #ccc; |
| 12 padding: 10px; | 12 padding: 10px; |
| 13 overflow-y: auto; | 13 overflow-y: auto; |
| 14 } | 14 } |
| 15 .sourceTable { | 15 .sourceTable { |
| 16 display: table; | 16 display: table; |
| 17 } | 17 } |
| 18 .sourceRow { | 18 .sourceRow { |
| 19 display: table-row; | 19 display: table-row; |
| 20 } | 20 } |
| 21 .sourceItem, .sourceItemCurrent { | 21 .sourceItem, .sourceItemCurrent { |
| 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 .currentLine { |
| 29 background-color: #fff; |
| 30 } |
| 31 .currentCol { |
| 29 background-color: #6cf; | 32 background-color: #6cf; |
| 30 } | 33 } |
| 31 .hitsNone, .hitsNotExecuted, .hitsExecuted { | 34 .hitsNone, .hitsNotExecuted, .hitsExecuted { |
| 32 display: table-cell; | 35 display: table-cell; |
| 33 vertical-align: top; | 36 vertical-align: top; |
| 34 font: 400 14px consolas, courier, monospace; | 37 font: 400 14px consolas, courier, monospace; |
| 35 min-width: 32px; | 38 min-width: 32px; |
| 36 text-align: right; | 39 text-align: right; |
| 37 color: #a8a8a8; | 40 color: #a8a8a8; |
| 38 } | 41 } |
| (...skipping 23 matching lines...) Expand all Loading... |
| 62 <template if="{{ line.hits == 0 }}"> | 65 <template if="{{ line.hits == 0 }}"> |
| 63 <div class="hitsNotExecuted">{{ line.line }}</div> | 66 <div class="hitsNotExecuted">{{ line.line }}</div> |
| 64 </template> | 67 </template> |
| 65 <template if="{{ line.hits > 0 }}"> | 68 <template if="{{ line.hits > 0 }}"> |
| 66 <div class="hitsExecuted">{{ line.line }}</div> | 69 <div class="hitsExecuted">{{ line.line }}</div> |
| 67 </template> | 70 </template> |
| 68 | 71 |
| 69 <div class="sourceItem"> </div> | 72 <div class="sourceItem"> </div> |
| 70 | 73 |
| 71 <template if="{{ line.line == currentLine }}"> | 74 <template if="{{ line.line == currentLine }}"> |
| 72 <div class="sourceItemCurrent">{{line.text}}</div> | 75 <div class="sourceItem"><span class="currentLine">{{ |
| 76 clip(line.text,0,currentCol |
| 77 )}}</span><span class="currentCol">{{ |
| 78 clip(line.text,currentCol,currentCol+1) |
| 79 }}</span><span class="currentLine">{{ |
| 80 clip(line.text,currentCol+1) |
| 81 }}</span></div> |
| 73 </template> | 82 </template> |
| 74 <template if="{{ line.line != currentLine }}"> | 83 <template if="{{ line.line != currentLine }}"> |
| 75 <div class="sourceItem">{{line.text}}</div> | 84 <div class="sourceItem">{{line.text}}</div> |
| 76 </template> | 85 </template> |
| 77 </div> | 86 </div> |
| 78 </template> | 87 </template> |
| 79 | 88 |
| 80 <template if="{{ line == null }}"> | 89 <template if="{{ line == null }}"> |
| 81 <breakpoint-toggle line="{{ null }}"></breakpoint-toggle> | 90 <breakpoint-toggle line="{{ null }}"></breakpoint-toggle> |
| 82 <div class="sourceItem"> </div> | 91 <div class="sourceItem"> </div> |
| (...skipping 78 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 161 <div class="resolvedBreakpoint"> | 170 <div class="resolvedBreakpoint"> |
| 162 <a on-click="{{ toggleBreakpoint }}">B</a> | 171 <a on-click="{{ toggleBreakpoint }}">B</a> |
| 163 </div> | 172 </div> |
| 164 </template> | 173 </template> |
| 165 </template> <!-- line != null --> | 174 </template> <!-- line != null --> |
| 166 | 175 |
| 167 </template> | 176 </template> |
| 168 </polymer-element> | 177 </polymer-element> |
| 169 | 178 |
| 170 <script type="application/dart" src="script_inset.dart"></script> | 179 <script type="application/dart" src="script_inset.dart"></script> |
| OLD | NEW |