| Index: runtime/observatory/lib/src/elements/nav/library_menu.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav/library_menu.dart b/runtime/observatory/lib/src/elements/nav/library_menu.dart
|
| index 783adf3693f03a9b35c63f5c0667b168a2eea854..5f22f8125fe8b84d12fd992a9592d86f73062315 100644
|
| --- a/runtime/observatory/lib/src/elements/nav/library_menu.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav/library_menu.dart
|
| @@ -58,8 +58,9 @@ class NavLibraryMenuElement extends HtmlElement implements Renderable {
|
|
|
| void render() {
|
| children = [
|
| - navMenu(library.name, content: _content,
|
| - link: Uris.inspect(isolate, object: library).toString())
|
| + navMenu(library.name,
|
| + content: _content,
|
| + link: Uris.inspect(isolate, object: library).toString())
|
| ];
|
| }
|
| }
|
|
|