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 |