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 script_view; | 5 library script_view; |
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/context_ref.dart'; | 10 import 'package:observatory/src/elements/context_ref.dart'; |
(...skipping 118 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
129 new NavLibraryMenuElement(_isolate, _script.library, queue: _r.queue), | 129 new NavLibraryMenuElement(_isolate, _script.library, queue: _r.queue), |
130 new NavMenuElement('object', last: true, queue: _r.queue), | 130 new NavMenuElement('object', last: true, queue: _r.queue), |
131 new NavRefreshElement(queue: _r.queue) | 131 new NavRefreshElement(queue: _r.queue) |
132 ..onRefresh.listen((e) async { | 132 ..onRefresh.listen((e) async { |
133 e.element.disabled = true; | 133 e.element.disabled = true; |
134 _script = await _scripts.get(_isolate, _script.id); | 134 _script = await _scripts.get(_isolate, _script.id); |
135 _r.dirty(); | 135 _r.dirty(); |
136 }), | 136 }), |
137 new NavNotifyElement(_notifications, queue: _r.queue) | 137 new NavNotifyElement(_notifications, queue: _r.queue) |
138 ], | 138 ], |
139 new DivElement()..classes = const ['content-centered-big'] | 139 new DivElement()..classes = ['content-centered-big'] |
140 ..children = [ | 140 ..children = [ |
141 new HeadingElement.h2()..text = 'Script', | 141 new HeadingElement.h2()..text = 'Script', |
142 new HRElement(), | 142 new HRElement(), |
143 new ObjectCommonElement(_isolate, _script, _retainedSizes, | 143 new ObjectCommonElement(_isolate, _script, _retainedSizes, |
144 _reachableSizes, _references, _retainingPaths, | 144 _reachableSizes, _references, _retainingPaths, |
145 _instances, queue: _r.queue), | 145 _instances, queue: _r.queue), |
146 new BRElement(), | 146 new BRElement(), |
147 new DivElement()..classes = ['memberList'] | 147 new DivElement()..classes = ['memberList'] |
148 ..children = [ | 148 ..children = [ |
149 new DivElement()..classes = ['memberItem'] | 149 new DivElement()..classes = ['memberItem'] |
150 ..children = [ | 150 ..children = [ |
151 new DivElement()..classes = ['memberName'] | 151 new DivElement()..classes = ['memberName'] |
152 ..text = 'load time', | 152 ..text = 'load time', |
153 new DivElement()..classes = ['memberName'] | 153 new DivElement()..classes = ['memberName'] |
154 ..text = '${_script.loadTime}' | 154 ..text = '${_script.loadTime}' |
155 ], | 155 ], |
156 ], | 156 ], |
157 new HRElement(), | 157 new HRElement(), |
158 new ScriptInsetElement(_isolate, _script, _scripts, _instances, | 158 new ScriptInsetElement(_isolate, _script, _scripts, _instances, |
159 _events, currentPos: _pos, queue: _r.queue), | 159 _events, currentPos: _pos, queue: _r.queue), |
160 new ViewFooterElement(queue: _r.queue) | 160 new ViewFooterElement(queue: _r.queue) |
161 ] | 161 ] |
162 ]; | 162 ]; |
163 } | 163 } |
164 } | 164 } |
OLD | NEW |