Index: runtime/observatory/lib/src/elements/nav/refresh.dart |
diff --git a/runtime/observatory/lib/src/elements/nav/refresh.dart b/runtime/observatory/lib/src/elements/nav/refresh.dart |
index 795c7bd18e78ef26b02eba026f4c2244c93487d1..da40abd24db8b74a98ceb8f9f5eb18ef592a6320 100644 |
--- a/runtime/observatory/lib/src/elements/nav/refresh.dart |
+++ b/runtime/observatory/lib/src/elements/nav/refresh.dart |
@@ -25,8 +25,10 @@ class NavRefreshElement extends HtmlElement implements Renderable { |
bool _disabled; |
String _label; |
+ |
bool get disabled => _disabled; |
String get label => _label; |
+ |
set disabled(bool value) => _disabled = _r.checkAndReact(_disabled, value); |
set label(String value) => _label = _r.checkAndReact(_label, value); |
@@ -44,10 +46,17 @@ class NavRefreshElement extends HtmlElement implements Renderable { |
NavRefreshElement.created() : super.created(); |
@override |
- void attached() { super.attached(); _r.enable(); } |
+ void attached() { |
+ super.attached(); |
+ _r.enable(); |
+ } |
@override |
- void detached() { super.detached(); children = []; _r.disable(notify: true); } |
+ void detached() { |
+ super.detached(); |
+ children = []; |
+ _r.disable(notify: true); |
+ } |
void render() { |
children = [ |