| 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);
|
|
|
|
|