| Index: runtime/observatory/lib/src/elements/nav/library_menu_wrapper.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav/library_menu_wrapper.dart b/runtime/observatory/lib/src/elements/nav/library_menu_wrapper.dart
|
| index 1097bdc654967bc904c247fa04cf6a33108255c3..8db0347d4b8293049315c281308b49ffb7347a03 100644
|
| --- a/runtime/observatory/lib/src/elements/nav/library_menu_wrapper.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav/library_menu_wrapper.dart
|
| @@ -21,13 +21,17 @@ class NavLibraryMenuElementWrapper extends HtmlElement {
|
|
|
| bool _last = false;
|
| Library _library;
|
| +
|
| bool get last => _last;
|
| Library get library => _library;
|
| +
|
| set last(bool value) {
|
| - _last = value; render();
|
| + _last = value;
|
| + render();
|
| }
|
| set library(Library value) {
|
| - _library = value; render();
|
| + _library = value;
|
| + render();
|
| }
|
|
|
| NavLibraryMenuElementWrapper.created() : super.created() {
|
| @@ -45,7 +49,9 @@ class NavLibraryMenuElementWrapper extends HtmlElement {
|
|
|
| void render() {
|
| shadowRoot.children = [];
|
| - if (_library == null || _last == null) return;
|
| + if (_library == null || _last == null) {
|
| + return;
|
| + }
|
|
|
| shadowRoot.children = [
|
| new NavLibraryMenuElement(library.isolate, library, last: last,
|
|
|