| Index: runtime/observatory/lib/src/elements/view_footer.dart
|
| diff --git a/runtime/observatory/lib/src/elements/view_footer.dart b/runtime/observatory/lib/src/elements/view_footer.dart
|
| index a182511bb93990185d4cd6bb7c896238e3e7b134..b24eda3b0736c764f02702c0e4ff981c1f71e355 100644
|
| --- a/runtime/observatory/lib/src/elements/view_footer.dart
|
| +++ b/runtime/observatory/lib/src/elements/view_footer.dart
|
| @@ -4,10 +4,42 @@
|
|
|
| library view_footer_element;
|
|
|
| -import 'package:polymer/polymer.dart';
|
| -import 'observatory_element.dart';
|
| +import 'dart:html';
|
| +import 'dart:async';
|
| +import 'package:observatory/src/elements/helpers/tag.dart';
|
| +import 'package:observatory/src/elements/helpers/rendering_scheduler.dart';
|
|
|
| -@CustomTag('view-footer')
|
| -class ViewFooterElement extends ObservatoryElement {
|
| - ViewFooterElement.created() : super.created();
|
| +class ViewFooterElement extends HtmlElement implements Renderable {
|
| + static const tag = const Tag<ViewFooterElement>('view-footer');
|
| +
|
| + RenderingScheduler _r;
|
| +
|
| + Stream<RenderedEvent<ViewFooterElement>> get onRendered => _r.onRendered;
|
| +
|
| + factory ViewFooterElement() => document.createElement(tag.name);
|
| +
|
| + ViewFooterElement.created() : super.created() {
|
| + _r = new RenderingScheduler<ViewFooterElement>(this);
|
| + }
|
| +
|
| + @override
|
| + void attached() { super.attached(); _r.scheduleRendering(); }
|
| +
|
| + @override
|
| + void detached() {
|
| + super.detached();
|
| + children = [];
|
| + _r.scheduleNotification();
|
| + }
|
| +
|
| + void render() {
|
| + children = [
|
| + new AnchorElement()
|
| + ..href = 'https://www.dartlang.org/tools/observatory'
|
| + ..text = 'View documentation',
|
| + new AnchorElement()
|
| + ..href = 'https://github.com/dart-lang/sdk/issues/new?title=Observatory:&body=Observatory%20Feedback'
|
| + ..text = 'File a bug report'
|
| + ];
|
| + }
|
| }
|
|
|