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 |