| Index: runtime/observatory/lib/src/elements/nav/menu.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav/menu.dart b/runtime/observatory/lib/src/elements/nav/menu.dart
|
| index bcd9c9049c8d9cc89702cc1d1d737bab3c9b0413..2624ad7986a6887075dfc9b67b6d5ab427c53047 100644
|
| --- a/runtime/observatory/lib/src/elements/nav/menu.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav/menu.dart
|
| @@ -53,9 +53,11 @@ class NavMenuElement extends HtmlElement implements Renderable {
|
| String _label;
|
| String _link;
|
| bool _last;
|
| +
|
| String get label => _label;
|
| String get link => _link;
|
| bool get last => _last;
|
| +
|
| set label(String value) => _label = _r.checkAndReact(_label, value);
|
| set link(String value) => _link = _r.checkAndReact(_link, value);
|
| set last(bool value) => _last = _r.checkAndReact(_link, value);
|
| @@ -75,11 +77,15 @@ class NavMenuElement extends HtmlElement implements Renderable {
|
| NavMenuElement.created() : super.created() { createShadowRoot(); }
|
|
|
| @override
|
| - void attached() { super.attached(); _r.enable(); }
|
| + void attached() {
|
| + super.attached();
|
| + _r.enable();
|
| + }
|
|
|
| @override
|
| void detached() {
|
| - super.detached(); _r.disable(notify: true);
|
| + super.detached();
|
| + _r.disable(notify: true);
|
| shadowRoot.children = [];
|
| }
|
|
|
|
|