| 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 padding-left: 15%; | |
| 9 padding-right: 15%; | |
| 10 } | 8 } |
| 11 .sourceBox { | 9 .sourceBox { |
| 12 width: 100%; | |
| 13 background-color: #f5f5f5; | 10 background-color: #f5f5f5; |
| 14 border: 1px solid #ccc; | 11 border: 1px solid #ccc; |
| 15 padding: 10px; | 12 padding: 10px; |
| 16 overflow-y: auto; | 13 overflow-y: auto; |
| 17 } | 14 } |
| 18 .sourceTable { | 15 .sourceTable { |
| 19 display: table; | 16 display: table; |
| 20 } | 17 } |
| 21 .sourceRow { | 18 .sourceRow { |
| 22 display: table-row; | 19 display: table-row; |
| (...skipping 14 matching lines...) Expand all Loading... |
| 37 } | 34 } |
| 38 .hitsNotExecuted { | 35 .hitsNotExecuted { |
| 39 background-color: #e66; | 36 background-color: #e66; |
| 40 } | 37 } |
| 41 .hitsExecuted { | 38 .hitsExecuted { |
| 42 background-color: #6d6; | 39 background-color: #6d6; |
| 43 } | 40 } |
| 44 </style> | 41 </style> |
| 45 <div class="sourceInset"> | 42 <div class="sourceInset"> |
| 46 <content></content> | 43 <content></content> |
| 47 <div class="sourceBox" style="height:{{height}}"> | 44 <div class="sourceBox" style="max-height:{{height}}"> |
| 48 <div class="sourceTable"> | 45 <div class="sourceTable"> |
| 49 <template if="{{ linesReady }}"> | 46 <template if="{{ linesReady }}"> |
| 50 <template repeat="{{ line in lines }}"> | 47 <template repeat="{{ line in lines }}"> |
| 51 <div class="sourceRow" id="{{ makeLineId(line.line) }}"> | 48 <div class="sourceRow" id="{{ makeLineId(line.line) }}"> |
| 52 <breakpoint-toggle line="{{ line }}"></breakpoint-toggle> | 49 <breakpoint-toggle line="{{ line }}"></breakpoint-toggle> |
| 53 | 50 |
| 54 <div class="sourceItem"> </div> | 51 <div class="sourceItem"> </div> |
| 55 | 52 |
| 56 <template if="{{ line.hits == null || | 53 <template if="{{ line.hits == null || |
| 57 line.hits < 0 }}"> | 54 line.hits < 0 }}"> |
| (...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 143 <template if="{{ line.bpt != null && line.bpt['resolved'] && !busy}}"> | 140 <template if="{{ line.bpt != null && line.bpt['resolved'] && !busy}}"> |
| 144 <div class="resolvedBreakpoint"> | 141 <div class="resolvedBreakpoint"> |
| 145 <a on-click="{{ toggleBreakpoint }}">B</a> | 142 <a on-click="{{ toggleBreakpoint }}">B</a> |
| 146 </div> | 143 </div> |
| 147 </template> | 144 </template> |
| 148 | 145 |
| 149 </template> | 146 </template> |
| 150 </polymer-element> | 147 </polymer-element> |
| 151 | 148 |
| 152 <script type="application/dart" src="script_inset.dart"></script> | 149 <script type="application/dart" src="script_inset.dart"></script> |
| OLD | NEW |