| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 observatory_element; | 5 library observatory_element; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:html'; | 8 import 'dart:html'; |
| 9 import 'package:observatory/app.dart'; | 9 import 'package:observatory/app.dart'; |
| 10 import 'package:observatory/service.dart'; | 10 import 'package:observatory/service.dart'; |
| (...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 109 '&objectId=${Uri.encodeComponent(obj.id)}'); | 109 '&objectId=${Uri.encodeComponent(obj.id)}'); |
| 110 } | 110 } |
| 111 } | 111 } |
| 112 return url; | 112 return url; |
| 113 } | 113 } |
| 114 | 114 |
| 115 /// Create a link that can be consumed by [goto]. | 115 /// Create a link that can be consumed by [goto]. |
| 116 String gotoLink(String url, [ServiceObject obj]) { | 116 String gotoLink(String url, [ServiceObject obj]) { |
| 117 return app.locationManager.makeLink(makeLink(url, obj)); | 117 return app.locationManager.makeLink(makeLink(url, obj)); |
| 118 } | 118 } |
| 119 String gotoLinkForwardingParameters(String url, [ServiceObject obj]) { |
| 120 return app.locationManager.makeLinkForwardingParameters(makeLink(url, obj)); |
| 121 } |
| 119 | 122 |
| 120 String formatTimePrecise(double time) => Utils.formatTimePrecise(time); | 123 String formatTimePrecise(double time) => Utils.formatTimePrecise(time); |
| 121 String formatTimeMilliseconds(int millis) => | 124 String formatTimeMilliseconds(int millis) => |
| 122 Utils.formatTimeMilliseconds(millis); | 125 Utils.formatTimeMilliseconds(millis); |
| 123 String formatTime(double time) => Utils.formatTime(time); | 126 String formatTime(double time) => Utils.formatTime(time); |
| 124 | 127 |
| 125 String formatSeconds(double x) => Utils.formatSeconds(x); | 128 String formatSeconds(double x) => Utils.formatSeconds(x); |
| 126 | 129 |
| 127 | 130 |
| 128 String formatSize(int bytes) => Utils.formatSize(bytes); | 131 String formatSize(int bytes) => Utils.formatSize(bytes); |
| (...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 187 var anchorElement = new AnchorElement(); | 190 var anchorElement = new AnchorElement(); |
| 188 anchorElement.href = href; | 191 anchorElement.href = href; |
| 189 anchorElement.text = label; | 192 anchorElement.text = label; |
| 190 if (title != null) { | 193 if (title != null) { |
| 191 anchorElement.title = title; | 194 anchorElement.title = title; |
| 192 } | 195 } |
| 193 anchorElement.onClick.listen(onClickGoto); | 196 anchorElement.onClick.listen(onClickGoto); |
| 194 shadowRoot.children.add(anchorElement); | 197 shadowRoot.children.add(anchorElement); |
| 195 } | 198 } |
| 196 } | 199 } |
| OLD | NEW |