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 } | 32 } |
33 .hitsNone, .hitsNotExecuted, .hitsExecuted { | 33 .hitsNone, .hitsNotExecuted, .hitsExecuted { |
34 display: table-cell; | 34 display: table-cell; |
35 vertical-align: top; | 35 vertical-align: top; |
36 font: 400 14px consolas, courier, monospace; | 36 font: 400 14px consolas, courier, monospace; |
37 min-width: 32px; | 37 min-width: 32px; |
38 text-align: right; | 38 text-align: right; |
39 color: #a8a8a8; | 39 color: #a8a8a8; |
40 } | 40 } |
41 .hitsNotExecuted { | 41 .hitsNotExecuted { |
42 background-color: #e66; | 42 background-color: #EEA7A7; |
43 } | 43 } |
44 .hitsExecuted { | 44 .hitsExecuted { |
45 background-color: #6d6; | 45 background-color: #9BDD9B; |
46 } | 46 } |
47 </style> | |
48 </template> | |
49 </polymer-element> | |
50 | 47 |
51 <polymer-element name="breakpoint-toggle" extends="observatory-element"> | |
52 <template> | |
53 <style> | |
54 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo
int, .resolvedBreakpoint { | 48 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo
int, .resolvedBreakpoint { |
55 display: table-cell; | 49 display: table-cell; |
56 vertical-align: top; | 50 vertical-align: top; |
57 font: 400 14px consolas, courier, monospace; | 51 font: 400 14px consolas, courier, monospace; |
58 min-width: 1em; | 52 min-width: 1em; |
59 text-align: center; | 53 text-align: center; |
60 cursor: pointer; | 54 cursor: pointer; |
61 } | 55 } |
62 .possibleBreakpoint { | 56 .possibleBreakpoint { |
63 color: #e0e0e0; | 57 color: #e0e0e0; |
64 } | 58 } |
65 .possibleBreakpoint:hover { | 59 .possibleBreakpoint:hover { |
66 color: white; | 60 color: white; |
67 background-color: #777; | 61 background-color: #777; |
68 } | 62 } |
69 .busyBreakpoint { | 63 .busyBreakpoint { |
70 color: white; | 64 color: white; |
71 background-color: black; | 65 background-color: black; |
72 cursor: wait; | 66 cursor: wait; |
73 } | 67 } |
74 .unresolvedBreakpoint { | 68 .unresolvedBreakpoint { |
75 color: white; | 69 color: white; |
76 background-color: #cac; | 70 background-color: #cac; |
77 } | 71 } |
78 .resolvedBreakpoint { | 72 .resolvedBreakpoint { |
79 color: white; | 73 color: white; |
80 background-color: #e66; | 74 background-color: #e66; |
81 } | 75 } |
82 </style> | 76 </style> |
83 | |
84 <template if="{{ line == null }}"> | |
85 <div class="emptyBreakpoint"> </div> | |
86 </template> | |
87 | |
88 <template if="{{ line != null }}"> | |
89 <template if="{{ line.possibleBpt && busy}}"> | |
90 <div class="busyBreakpoint">B</div> | |
91 </template> | |
92 | |
93 <template if="{{ line.breakpoints == null && !line.possibleBpt }}"> | |
94 <div class="emptyBreakpoint"> </div> | |
95 </template> | |
96 | |
97 <template if="{{ line.breakpoints == null && line.possibleBpt && !busy}}"> | |
98 <div class="possibleBreakpoint"> | |
99 <a on-click="{{ toggleBreakpoint }}">B</a> | |
100 </div> | |
101 </template> | |
102 | |
103 <template if="{{ line.breakpoints != null && !line.breakpointResolved && !
busy}}"> | |
104 <div class="unresolvedBreakpoint"> | |
105 <a on-click="{{ toggleBreakpoint }}">B</a> | |
106 </div> | |
107 </template> | |
108 | |
109 <template if="{{ line.breakpoints != null && line.breakpointResolved && !b
usy}}"> | |
110 <div class="resolvedBreakpoint"> | |
111 <a on-click="{{ toggleBreakpoint }}">B</a> | |
112 </div> | |
113 </template> | |
114 </template> <!-- line != null --> | |
115 | |
116 </template> | 77 </template> |
117 </polymer-element> | 78 </polymer-element> |
118 | 79 |
119 <script type="application/dart" src="script_inset.dart"></script> | 80 <script type="application/dart" src="script_inset.dart"></script> |
OLD | NEW |