| OLD | NEW |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 import 'dart:html'; | 5 import 'dart:html'; |
| 6 import 'dart:async'; | 6 import 'dart:async'; |
| 7 import 'package:observatory/models.dart' as M; | 7 import 'package:observatory/models.dart' as M; |
| 8 import 'package:observatory/src/elements/helpers/any_ref.dart'; | 8 import 'package:observatory/src/elements/helpers/any_ref.dart'; |
| 9 import 'package:observatory/src/elements/helpers/nav_bar.dart'; | 9 import 'package:observatory/src/elements/helpers/nav_bar.dart'; |
| 10 import 'package:observatory/src/elements/helpers/nav_menu.dart'; | 10 import 'package:observatory/src/elements/helpers/nav_menu.dart'; |
| 11 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; | 11 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; |
| 12 import 'package:observatory/src/elements/helpers/tag.dart'; | 12 import 'package:observatory/src/elements/helpers/tag.dart'; |
| 13 import 'package:observatory/src/elements/helpers/uris.dart'; | |
| 14 import 'package:observatory/src/elements/instance_ref.dart'; | 13 import 'package:observatory/src/elements/instance_ref.dart'; |
| 15 import 'package:observatory/src/elements/nav/isolate_menu.dart'; | 14 import 'package:observatory/src/elements/nav/isolate_menu.dart'; |
| 16 import 'package:observatory/src/elements/nav/notify.dart'; | 15 import 'package:observatory/src/elements/nav/notify.dart'; |
| 17 import 'package:observatory/src/elements/nav/refresh.dart'; | 16 import 'package:observatory/src/elements/nav/refresh.dart'; |
| 18 import 'package:observatory/src/elements/nav/top_menu.dart'; | 17 import 'package:observatory/src/elements/nav/top_menu.dart'; |
| 19 import 'package:observatory/src/elements/nav/vm_menu.dart'; | 18 import 'package:observatory/src/elements/nav/vm_menu.dart'; |
| 20 import 'package:observatory/src/elements/view_footer.dart'; | 19 import 'package:observatory/src/elements/view_footer.dart'; |
| 21 | 20 |
| 22 class PortsElement extends HtmlElement implements Renderable { | 21 class PortsElement extends HtmlElement implements Renderable { |
| 23 static const tag = const Tag<PortsElement>('ports-page', | 22 static const tag = const Tag<PortsElement>('ports-page', |
| (...skipping 110 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 134 ).toList(); | 133 ).toList(); |
| 135 } | 134 } |
| 136 | 135 |
| 137 Future _refresh() async { | 136 Future _refresh() async { |
| 138 _isolatePorts = null; | 137 _isolatePorts = null; |
| 139 _r.dirty(); | 138 _r.dirty(); |
| 140 _isolatePorts = await _ports.get(_isolate); | 139 _isolatePorts = await _ports.get(_isolate); |
| 141 _r.dirty(); | 140 _r.dirty(); |
| 142 } | 141 } |
| 143 } | 142 } |
| OLD | NEW |