| 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 nav_bar_element; | 5 library nav_bar_element; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:html' hide Notification; | 8 import 'dart:html' hide Notification; |
| 9 import 'observatory_element.dart'; | 9 import 'observatory_element.dart'; |
| 10 import 'package:observatory/service.dart'; | 10 import 'package:observatory/service.dart'; |
| (...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 69 @published bool last = false; | 69 @published bool last = false; |
| 70 | 70 |
| 71 TopNavMenuElement.created() : super.created(); | 71 TopNavMenuElement.created() : super.created(); |
| 72 } | 72 } |
| 73 | 73 |
| 74 @CustomTag('vm-nav-menu') | 74 @CustomTag('vm-nav-menu') |
| 75 class VMNavMenuElement extends ObservatoryElement { | 75 class VMNavMenuElement extends ObservatoryElement { |
| 76 @published bool last = false; | 76 @published bool last = false; |
| 77 @published VM vm; | 77 @published VM vm; |
| 78 | 78 |
| 79 String nameAndAddress(name, target) { |
| 80 if (name != null && target != null) { |
| 81 return '${name}@${target.networkAddress}'; |
| 82 } else { |
| 83 return '<initializing>'; |
| 84 } |
| 85 } |
| 86 |
| 79 VMNavMenuElement.created() : super.created(); | 87 VMNavMenuElement.created() : super.created(); |
| 80 } | 88 } |
| 81 | 89 |
| 82 @CustomTag('isolate-nav-menu') | 90 @CustomTag('isolate-nav-menu') |
| 83 class IsolateNavMenuElement extends ObservatoryElement { | 91 class IsolateNavMenuElement extends ObservatoryElement { |
| 84 @published bool last = false; | 92 @published bool last = false; |
| 85 @published Isolate isolate; | 93 @published Isolate isolate; |
| 86 | 94 |
| 87 IsolateNavMenuElement.created() : super.created(); | 95 IsolateNavMenuElement.created() : super.created(); |
| 88 } | 96 } |
| (...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 144 @observable get isUnexpectedError { | 152 @observable get isUnexpectedError { |
| 145 return (exception is! NetworkRpcException); | 153 return (exception is! NetworkRpcException); |
| 146 } | 154 } |
| 147 | 155 |
| 148 void closeItem(MouseEvent e, var detail, Element target) { | 156 void closeItem(MouseEvent e, var detail, Element target) { |
| 149 notifications.remove(notification); | 157 notifications.remove(notification); |
| 150 } | 158 } |
| 151 | 159 |
| 152 NavNotifyExceptionElement.created() : super.created(); | 160 NavNotifyExceptionElement.created() : super.created(); |
| 153 } | 161 } |
| OLD | NEW |