| <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 { |
| padding-left: 15%; |
| padding-right: 15%; |
| } |
| .sourceBox { |
| width: 100%; |
| 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="height:{{height}}"> |
| <div class="sourceTable"> |
| <template repeat="{{ line in lines }}"> |
| <div class="sourceRow" id="{{ makeLineId(line.line) }}"> |
| <template if="{{ line.hits == null }}"> |
| <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 id="currentLine" class="sourceItemCurrent">{{line.text}}</div> |
| </template> |
| <template if="{{ line.line != currentLine }}"> |
| <div class="sourceItem">{{line.text}}</div> |
| </template> |
| </div> |
| </template> |
| </div> |
| </div> |
| </div> |
| </template> |
| </polymer-element> |
| |
| <script type="application/dart" src="script_inset.dart"></script> |