OLD | NEW |
| (Empty) |
1 <link rel="import" href="../../../../packages/polymer/polymer.html"> | |
2 <link rel="import" href="observatory_element.html"> | |
3 | |
4 <polymer-element name="script-inset" extends="observatory-element"> | |
5 <template> | |
6 <style> | |
7 .sourceInset { | |
8 } | |
9 .sourceBox { | |
10 background-color: #f5f5f5; | |
11 border: 1px solid #ccc; | |
12 padding: 10px; | |
13 overflow-y: auto; | |
14 } | |
15 .sourceTable { | |
16 display: table; | |
17 } | |
18 .sourceRow { | |
19 display: table-row; | |
20 } | |
21 .sourceItem, .sourceItemCurrent { | |
22 display: table-cell; | |
23 vertical-align: top; | |
24 font: 400 14px consolas, courier, monospace; | |
25 line-height: 125%; | |
26 white-space: pre; | |
27 } | |
28 .sourceItemCurrent { | |
29 background-color: #6cf; | |
30 } | |
31 .hitsNone, .hitsNotExecuted, .hitsExecuted { | |
32 min-width: 32px; | |
33 text-align: right; | |
34 } | |
35 .hitsNotExecuted { | |
36 background-color: #e66; | |
37 } | |
38 .hitsExecuted { | |
39 background-color: #6d6; | |
40 } | |
41 </style> | |
42 <div class="sourceInset"> | |
43 <content></content> | |
44 <div class="sourceBox" style="max-height:{{height}}"> | |
45 <div class="sourceTable"> | |
46 <template if="{{ linesReady }}"> | |
47 <template repeat="{{ line in lines }}"> | |
48 <div class="sourceRow" id="{{ makeLineId(line.line) }}"> | |
49 <breakpoint-toggle line="{{ line }}"></breakpoint-toggle> | |
50 | |
51 <div class="sourceItem"> </div> | |
52 | |
53 <template if="{{ line.hits == null || | |
54 line.hits < 0 }}"> | |
55 <div class="hitsNone">{{ line.line }}</div> | |
56 </template> | |
57 <template if="{{ line.hits == 0 }}"> | |
58 <div class="hitsNotExecuted">{{ line.line }}</div> | |
59 </template> | |
60 <template if="{{ line.hits > 0 }}"> | |
61 <div class="hitsExecuted">{{ line.line }}</div> | |
62 </template> | |
63 | |
64 <div class="sourceItem"> </div> | |
65 | |
66 <template if="{{ line.line == currentLine }}"> | |
67 <div class="sourceItemCurrent">{{line.text}}</div> | |
68 </template> | |
69 <template if="{{ line.line != currentLine }}"> | |
70 <div class="sourceItem">{{line.text}}</div> | |
71 </template> | |
72 </div> | |
73 </template> | |
74 </template> | |
75 | |
76 <template if="{{ !linesReady }}"> | |
77 <div class="sourceRow"> | |
78 <div class="sourceItem">loading...</div> | |
79 </div> | |
80 </template> | |
81 </div> | |
82 </div> | |
83 </div> | |
84 </template> | |
85 </polymer-element> | |
86 | |
87 <polymer-element name="breakpoint-toggle" extends="observatory-element"> | |
88 <template> | |
89 <style> | |
90 .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpo
int, .resolvedBreakpoint { | |
91 display: table-cell; | |
92 vertical-align: top; | |
93 font: 400 14px consolas, courier, monospace; | |
94 min-width: 1em; | |
95 text-align: center; | |
96 cursor: pointer; | |
97 } | |
98 .possibleBreakpoint { | |
99 color: #e0e0e0; | |
100 } | |
101 .possibleBreakpoint:hover { | |
102 color: white; | |
103 background-color: #777; | |
104 } | |
105 .busyBreakpoint { | |
106 color: white; | |
107 background-color: black; | |
108 cursor: wait; | |
109 } | |
110 .unresolvedBreakpoint { | |
111 color: white; | |
112 background-color: #cac; | |
113 } | |
114 .resolvedBreakpoint { | |
115 color: white; | |
116 background-color: #e66; | |
117 } | |
118 </style> | |
119 | |
120 <template if="{{ line.possibleBpt && busy}}"> | |
121 <div class="busyBreakpoint">B</div> | |
122 </template> | |
123 | |
124 <template if="{{ line.bpt == null && !line.possibleBpt }}"> | |
125 <div class="emptyBreakpoint"> </div> | |
126 </template> | |
127 | |
128 <template if="{{ line.bpt == null && line.possibleBpt && !busy}}"> | |
129 <div class="possibleBreakpoint"> | |
130 <a on-click="{{ toggleBreakpoint }}">B</a> | |
131 </div> | |
132 </template> | |
133 | |
134 <template if="{{ line.bpt != null && !line.bpt['resolved'] && !busy}}"> | |
135 <div class="unresolvedBreakpoint"> | |
136 <a on-click="{{ toggleBreakpoint }}">B</a> | |
137 </div> | |
138 </template> | |
139 | |
140 <template if="{{ line.bpt != null && line.bpt['resolved'] && !busy}}"> | |
141 <div class="resolvedBreakpoint"> | |
142 <a on-click="{{ toggleBreakpoint }}">B</a> | |
143 </div> | |
144 </template> | |
145 | |
146 </template> | |
147 </polymer-element> | |
148 | |
149 <script type="application/dart" src="script_inset.dart"></script> | |
OLD | NEW |