| Index: runtime/observatory/lib/src/elements/nav/vm_menu.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav/vm_menu.dart b/runtime/observatory/lib/src/elements/nav/vm_menu.dart
|
| index 4b598cd42e561905fa92f985e8e38a0ccd38aac2..c0b6877780bcd3a3dbbdf0ce16dda637c4409196 100644
|
| --- a/runtime/observatory/lib/src/elements/nav/vm_menu.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav/vm_menu.dart
|
| @@ -67,7 +67,8 @@ class NavVMMenuElement extends HtmlElement implements Renderable {
|
| final content = (_vm.isolates.map((isolate) {
|
| return new NavMenuItemElement(isolate.name,
|
| queue: _r.queue, link: Uris.inspect(isolate));
|
| - }).toList()..addAll(_content));
|
| + }).toList()
|
| + ..addAll(_content));
|
| children = [navMenu(vm.displayName, link: Uris.vm(), content: content)];
|
| }
|
| }
|
|
|