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 da40abd24db8b74a98ceb8f9f5eb18ef592a6320..b246851b9643c980fa17e964b16c74a07000d308 100644 |
--- a/runtime/observatory/lib/src/elements/nav/refresh.dart |
+++ b/runtime/observatory/lib/src/elements/nav/refresh.dart |
@@ -13,7 +13,7 @@ class RefreshEvent { |
} |
class NavRefreshElement extends HtmlElement implements Renderable { |
- static const tag = const Tag<NavRefreshElement>('nav-refresh-wrapped'); |
+ static const tag = const Tag<NavRefreshElement>('nav-refresh'); |
RenderingScheduler _r; |
@@ -28,7 +28,7 @@ class NavRefreshElement extends HtmlElement implements Renderable { |
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); |