Index: runtime/observatory/lib/src/elements/nav/menu_item_wrapper.dart |
diff --git a/runtime/observatory/lib/src/elements/nav/menu_item_wrapper.dart b/runtime/observatory/lib/src/elements/nav/menu_item_wrapper.dart |
index 78887453df6c13898585f9340d4090553b3af1a5..e00699c7cb8ca726d0f3ccbe035a3ba23343ec92 100644 |
--- a/runtime/observatory/lib/src/elements/nav/menu_item_wrapper.dart |
+++ b/runtime/observatory/lib/src/elements/nav/menu_item_wrapper.dart |
@@ -20,13 +20,17 @@ class NavMenuItemElementWrapper extends HtmlElement { |
String _anchor; |
String _link; |
+ |
String get anchor => _anchor; |
String get link => _link; |
+ |
set anchor(String value) { |
- _anchor = value; render(); |
+ _anchor = value; |
+ render(); |
} |
set link(String value) { |
- _link = value; render(); |
+ _link = value; |
+ render(); |
} |
NavMenuItemElementWrapper.created() : super.created() { |
@@ -45,7 +49,9 @@ class NavMenuItemElementWrapper extends HtmlElement { |
void render() { |
shadowRoot.children = []; |
- if (_anchor == null) return; |
+ if (_anchor == null) { |
+ return; |
+ } |
shadowRoot.children = [ |
new NavMenuItemElement(_anchor, link: '#$link', |