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, |