| Index: runtime/observatory/lib/src/elements/nav_bar.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| index f8ce11e67bf96b41438b0c12639d1481dc00e7d8..db7770065e6599f46bb3f752b7468b6a1e7f3eb7 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| @@ -76,6 +76,14 @@ class VMNavMenuElement extends ObservatoryElement {
|
| @published bool last = false;
|
| @published VM vm;
|
|
|
| + String nameAndAddress(name, target) {
|
| + if (name != null && target != null) {
|
| + return '${name}@${target.networkAddress}';
|
| + } else {
|
| + return '<initializing>';
|
| + }
|
| + }
|
| +
|
| VMNavMenuElement.created() : super.created();
|
| }
|
|
|
|
|