Index: runtime/observatory/lib/src/elements/nav/refresh_wrapper.dart |
diff --git a/runtime/observatory/lib/src/elements/nav/refresh_wrapper.dart b/runtime/observatory/lib/src/elements/nav/refresh_wrapper.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f7ebf17b63fe2c92e2d98602993861589976468b |
--- /dev/null |
+++ b/runtime/observatory/lib/src/elements/nav/refresh_wrapper.dart |
@@ -0,0 +1,63 @@ |
+// Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
+import 'dart:html'; |
+import 'dart:async'; |
+ |
+import 'package:observatory/app.dart'; |
+import 'package:observatory/src/elements/helpers/tag.dart'; |
+import 'package:observatory/src/elements/shims/binding.dart'; |
+import 'package:observatory/src/elements/nav/refresh.dart'; |
+ |
+class NavRefreshElementWrapper extends HtmlElement { |
+ static final binder = new Binder<NavRefreshElementWrapper>( |
+ const [const Binding('callback'), const Binding('label')]); |
+ |
+ static const tag = const Tag<NavRefreshElementWrapper>('nav-refresh'); |
+ |
+ Function _callback; |
+ String _label = 'Refresh'; |
+ Function get callback => _callback; |
+ String get label => _label; |
+ set callback(Function value) { |
+ _callback = value; render(); |
+ } |
+ set label(String value) { |
+ _label = value; render(); |
+ } |
+ |
+ NavRefreshElementWrapper.created() : super.created() { |
+ binder.registerCallback(this); |
+ _label ??= getAttribute('label'); |
+ createShadowRoot(); |
+ render(); |
+ } |
+ |
+ @override |
+ void attached() { |
+ super.attached(); |
+ render(); |
+ } |
+ |
+ void render() { |
+ shadowRoot.children = []; |
+ if (_callback == null || _label == null) return; |
+ |
+ shadowRoot.children = [ |
+ new StyleElement() |
+ ..text = '@import "packages/observatory/src/elements/css/shared.css";', |
+ new NavRefreshElement(label: _label, |
+ queue: ObservatoryApplication.app.queue) |
+ ..onRefresh.listen((event) async{ |
+ event.element.disabled = true; |
+ try { |
+ var future = callback(); |
+ if (future is Future) await future; |
+ } finally { |
+ event.element.disabled = false; |
+ } |
+ }) |
+ ]; |
+ } |
+} |