| 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 .sourceTable { | 9 .sourceTable { |
| 10 display: table; | 10 display: table; |
| (...skipping 21 matching lines...) Expand all Loading... |
| 32 .currentCol { | 32 .currentCol { |
| 33 background-color: #6cf; | 33 background-color: #6cf; |
| 34 } | 34 } |
| 35 .hitsNone, .hitsNotExecuted, .hitsExecuted { | 35 .hitsNone, .hitsNotExecuted, .hitsExecuted { |
| 36 display: table-cell; | 36 display: table-cell; |
| 37 vertical-align: top; | 37 vertical-align: top; |
| 38 font: 400 14px consolas, courier, monospace; | 38 font: 400 14px consolas, courier, monospace; |
| 39 width: 4em; | 39 width: 4em; |
| 40 text-align: right; | 40 text-align: right; |
| 41 color: #a8a8a8; | 41 color: #a8a8a8; |
| 42 -moz-user-select: none; |
| 43 -khtml-user-select: none; |
| 44 -webkit-user-select: none; |
| 45 -ms-user-select: none; |
| 46 user-select: none; |
| 42 } | 47 } |
| 43 .hitsNotExecuted { | 48 .hitsNotExecuted { |
| 44 background-color: #EEA7A7; | 49 background-color: #EEA7A7; |
| 45 } | 50 } |
| 46 .hitsExecuted { | 51 .hitsExecuted { |
| 47 background-color: #9BDD9B; | 52 background-color: #9BDD9B; |
| 48 } | 53 } |
| 49 | 54 .noCopy {} |
| 50 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo
int, .resolvedBreakpoint { | 55 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo
int, .resolvedBreakpoint { |
| 51 display: table-cell; | 56 display: table-cell; |
| 52 vertical-align: top; | 57 vertical-align: top; |
| 53 font: 400 14px consolas, courier, monospace; | 58 font: 400 14px consolas, courier, monospace; |
| 54 width: 1em; | 59 width: 1em; |
| 55 text-align: center; | 60 text-align: center; |
| 56 cursor: pointer; | 61 cursor: pointer; |
| 62 -moz-user-select: none; |
| 63 -khtml-user-select: none; |
| 64 -webkit-user-select: none; |
| 65 -ms-user-select: none; |
| 66 user-select: none; |
| 57 } | 67 } |
| 58 .possibleBreakpoint { | 68 .possibleBreakpoint { |
| 59 color: #e0e0e0; | 69 color: #e0e0e0; |
| 60 } | 70 } |
| 61 .possibleBreakpoint:hover { | 71 .possibleBreakpoint:hover { |
| 62 color: white; | 72 color: white; |
| 63 background-color: #777; | 73 background-color: #777; |
| 64 } | 74 } |
| 65 .busyBreakpoint { | 75 .busyBreakpoint { |
| 66 color: white; | 76 color: white; |
| 67 background-color: black; | 77 background-color: black; |
| 68 cursor: wait; | 78 cursor: wait; |
| 69 } | 79 } |
| 70 .unresolvedBreakpoint { | 80 .unresolvedBreakpoint { |
| 71 color: white; | 81 color: white; |
| 72 background-color: #cac; | 82 background-color: #cac; |
| 73 } | 83 } |
| 74 .resolvedBreakpoint { | 84 .resolvedBreakpoint { |
| 75 color: white; | 85 color: white; |
| 76 background-color: #e66; | 86 background-color: #e66; |
| 77 } | 87 } |
| 78 </style> | 88 </style> |
| 79 </template> | 89 </template> |
| 80 </polymer-element> | 90 </polymer-element> |
| 81 | 91 |
| 82 <script type="application/dart" src="script_inset.dart"></script> | 92 <script type="application/dart" src="script_inset.dart"></script> |
| OLD | NEW |