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(); |
} |