| OLD | NEW |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library view_footer_element; | 5 library view_footer_element; |
| 6 | 6 |
| 7 import 'dart:html'; | 7 import 'dart:html'; |
| 8 import 'dart:async'; | 8 import 'dart:async'; |
| 9 import 'package:observatory/src/elements/helpers/tag.dart'; | 9 import 'package:observatory/src/elements/helpers/tag.dart'; |
| 10 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; | 10 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; |
| (...skipping 22 matching lines...) Expand all Loading... |
| 33 @override | 33 @override |
| 34 void detached() { | 34 void detached() { |
| 35 super.detached(); | 35 super.detached(); |
| 36 children = []; | 36 children = []; |
| 37 _r.disable(notify: true); | 37 _r.disable(notify: true); |
| 38 } | 38 } |
| 39 | 39 |
| 40 void render() { | 40 void render() { |
| 41 children = [ | 41 children = [ |
| 42 new AnchorElement() | 42 new AnchorElement() |
| 43 ..href = 'https://www.dartlang.org/tools/observatory' | 43 ..href = 'https://dart-lang.github.io/observatory/' |
| 44 ..text = 'View documentation', | 44 ..text = 'View documentation', |
| 45 new AnchorElement() | 45 new AnchorElement() |
| 46 ..href = | 46 ..href = |
| 47 'https://github.com/dart-lang/sdk/issues/new?title=Observatory:&
body=Observatory%20Feedback' | 47 'https://github.com/dart-lang/sdk/issues/new?title=Observatory:&
body=Observatory%20Feedback' |
| 48 ..text = 'File a bug report' | 48 ..text = 'File a bug report' |
| 49 ]; | 49 ]; |
| 50 } | 50 } |
| 51 } | 51 } |
| OLD | NEW |