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 isolate_view_element; | 5 library isolate_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/curly_block.dart'; | 10 import 'package:observatory/src/elements/curly_block.dart'; |
(...skipping 120 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
131 } | 131 } |
132 | 132 |
133 void render() { | 133 void render() { |
134 final uptime = new DateTime.now().difference(_isolate.startTime); | 134 final uptime = new DateTime.now().difference(_isolate.startTime); |
135 final libraries = _isolate.libraries.toList(); | 135 final libraries = _isolate.libraries.toList(); |
136 children = [ | 136 children = [ |
137 navBar([ | 137 navBar([ |
138 new NavTopMenuElement(queue: _r.queue), | 138 new NavTopMenuElement(queue: _r.queue), |
139 new NavVMMenuElement(_vm, _events, queue: _r.queue), | 139 new NavVMMenuElement(_vm, _events, queue: _r.queue), |
140 new NavIsolateMenuElement(_isolate, _events, queue: _r.queue), | 140 new NavIsolateMenuElement(_isolate, _events, queue: _r.queue), |
141 new NavRefreshElement(label: 'reload source', queue: _r.queue) | 141 new NavRefreshElement(label: 'Reload Source', queue: _r.queue) |
142 ..onRefresh.listen((e) async { | 142 ..onRefresh.listen((e) async { |
143 e.element.disabled = true; | 143 e.element.disabled = true; |
144 await _isolates.reloadSources(_isolate); | 144 await _isolates.reloadSources(_isolate); |
145 _r.dirty(); | 145 _r.dirty(); |
146 }), | 146 }), |
147 new NavRefreshElement(queue: _r.queue) | 147 new NavRefreshElement(queue: _r.queue) |
148 ..onRefresh.listen((e) async { | 148 ..onRefresh.listen((e) async { |
149 e.element.disabled = true; | 149 e.element.disabled = true; |
150 _isolate = await _isolates.get(_isolate); | 150 _isolate = await _isolates.get(_isolate); |
151 await _loadExtraData(); | 151 await _loadExtraData(); |
(...skipping 170 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
322 _function = await _functions.get(_isolate, frame.function.id); | 322 _function = await _functions.get(_isolate, frame.function.id); |
323 } | 323 } |
324 if (_isolate.rootLibrary != null) { | 324 if (_isolate.rootLibrary != null) { |
325 final rootLibrary = | 325 final rootLibrary = |
326 await _libraries.get(_isolate, _isolate.rootLibrary.id); | 326 await _libraries.get(_isolate, _isolate.rootLibrary.id); |
327 _rootScript = rootLibrary.rootScript; | 327 _rootScript = rootLibrary.rootScript; |
328 } | 328 } |
329 _r.dirty(); | 329 _r.dirty(); |
330 } | 330 } |
331 } | 331 } |
OLD | NEW |