Index: runtime/observatory/lib/src/elements/nav/menu_wrapper.dart |
diff --git a/runtime/observatory/lib/src/elements/nav/menu_wrapper.dart b/runtime/observatory/lib/src/elements/nav/menu_wrapper.dart |
index 04577c65237be17669c0adacfa863138f3396e33..3b287fe9ced4b246ecc9ba5eb0275463da545338 100644 |
--- a/runtime/observatory/lib/src/elements/nav/menu_wrapper.dart |
+++ b/runtime/observatory/lib/src/elements/nav/menu_wrapper.dart |
@@ -21,17 +21,22 @@ class NavMenuElementWrapper extends HtmlElement { |
String _anchor = '---'; |
String _link; |
bool _last = false; |
+ |
String get anchor => _anchor; |
String get link => _link; |
bool get last => _last; |
+ |
set anchor(String value) { |
- _anchor = value; render(); |
+ _anchor = value; |
+ render(); |
} |
set link(String value) { |
- _link = value; render(); |
+ _link = value; |
+ render(); |
} |
set last(bool value) { |
- _last = value; render(); |
+ _last = value; |
+ render(); |
} |
NavMenuElementWrapper.created() : super.created() { |
@@ -51,7 +56,9 @@ class NavMenuElementWrapper extends HtmlElement { |
void render() { |
shadowRoot.children = []; |
- if (_anchor == null || _last == null) return; |
+ if (_anchor == null || _last == null) { |
+ return; |
+ } |
shadowRoot.children = [ |
new NavMenuElement(_anchor, link: '#$_link', last: last, |