OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 library library_view_element; | 5 library library_view_element; |
6 | 6 |
7 import 'dart:async'; | 7 import 'dart:async'; |
8 import 'dart:html'; | 8 import 'dart:html'; |
9 import 'package:observatory/models.dart' as M; | 9 import 'package:observatory/models.dart' as M; |
10 import 'package:observatory/src/elements/class_ref.dart'; | 10 import 'package:observatory/src/elements/class_ref.dart'; |
(...skipping 138 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
149 new NavRefreshElement(queue: _r.queue) | 149 new NavRefreshElement(queue: _r.queue) |
150 ..onRefresh.listen((e) async { | 150 ..onRefresh.listen((e) async { |
151 e.element.disabled = true; | 151 e.element.disabled = true; |
152 _refresh(); | 152 _refresh(); |
153 }), | 153 }), |
154 new NavNotifyElement(_notifications, queue: _r.queue) | 154 new NavNotifyElement(_notifications, queue: _r.queue) |
155 ]), | 155 ]), |
156 new DivElement() | 156 new DivElement() |
157 ..classes = ['content-centered-big'] | 157 ..classes = ['content-centered-big'] |
158 ..children = [ | 158 ..children = [ |
159 new HeadingElement.h2()..text = 'ICData', | 159 new HeadingElement.h2()..text = 'Library', |
160 new HRElement(), | 160 new HRElement(), |
161 new ObjectCommonElement(_isolate, _library, _retainedSizes, | 161 new ObjectCommonElement(_isolate, _library, _retainedSizes, |
162 _reachableSizes, _references, _retainingPaths, _instances, | 162 _reachableSizes, _references, _retainingPaths, _instances, |
163 queue: _r.queue), | 163 queue: _r.queue), |
164 new DivElement() | 164 new DivElement() |
165 ..classes = ['memberList'] | 165 ..classes = ['memberList'] |
166 ..children = [ | 166 ..children = [ |
167 new DivElement() | 167 new DivElement() |
168 ..classes = ['memberItem'] | 168 ..classes = ['memberItem'] |
169 ..children = [ | 169 ..children = [ |
(...skipping 157 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
327 ..content = functions | 327 ..content = functions |
328 .map((f) => new DivElement() | 328 .map((f) => new DivElement() |
329 ..classes = ['indent'] | 329 ..classes = ['indent'] |
330 ..children = [ | 330 ..children = [ |
331 new FunctionRefElement(_isolate, f, queue: _r.queue) | 331 new FunctionRefElement(_isolate, f, queue: _r.queue) |
332 ]) | 332 ]) |
333 .toList() | 333 .toList() |
334 ]; | 334 ]; |
335 } | 335 } |
336 } | 336 } |
OLD | NEW |