OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 import 'dart:html'; | 5 import 'dart:html'; |
6 import 'dart:async'; | 6 import 'dart:async'; |
7 | 7 |
8 import 'package:observatory/app.dart'; | 8 import 'package:observatory/app.dart'; |
9 import 'package:observatory/repositories.dart' show ScriptRepository; | 9 import 'package:observatory/repositories.dart' show ScriptRepository; |
10 import 'package:observatory/service_html.dart' show SourceLocation; | 10 import 'package:observatory/service_html.dart' show SourceLocation; |
(...skipping 26 matching lines...) Expand all Loading... |
37 } | 37 } |
38 | 38 |
39 Future render() async { | 39 Future render() async { |
40 shadowRoot.children = []; | 40 shadowRoot.children = []; |
41 if (_location == null) return; | 41 if (_location == null) return; |
42 | 42 |
43 ScriptRepository repository = new ScriptRepository(_location.isolate); | 43 ScriptRepository repository = new ScriptRepository(_location.isolate); |
44 | 44 |
45 shadowRoot.children = [ | 45 shadowRoot.children = [ |
46 new StyleElement() | 46 new StyleElement() |
47 ..text = '@import "packages/observatory/src/elements/css/shared.css";', | 47 ..text = ''' |
| 48 source-link-wrapped > a[href]:hover { |
| 49 text-decoration: underline; |
| 50 } |
| 51 source-link-wrapped > a[href] { |
| 52 color: #0489c3; |
| 53 text-decoration: none; |
| 54 }''', |
48 new SourceLinkElement(_location.isolate, _location, repository, | 55 new SourceLinkElement(_location.isolate, _location, repository, |
49 queue: ObservatoryApplication.app.queue) | 56 queue: ObservatoryApplication.app.queue) |
50 ]; | 57 ]; |
51 } | 58 } |
52 } | 59 } |
OLD | NEW |