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 |