| Index: runtime/observatory/lib/src/elements/observatory_element.dart
|
| diff --git a/runtime/observatory/lib/src/elements/observatory_element.dart b/runtime/observatory/lib/src/elements/observatory_element.dart
|
| index 0b362b3b6e83cbe6a1dff40e41af068ff379b47e..f516bacbe6a214fd87b5d7c2a34f919e2b100636 100644
|
| --- a/runtime/observatory/lib/src/elements/observatory_element.dart
|
| +++ b/runtime/observatory/lib/src/elements/observatory_element.dart
|
| @@ -116,6 +116,9 @@ class ObservatoryElement extends PolymerElement {
|
| String gotoLink(String url, [ServiceObject obj]) {
|
| return app.locationManager.makeLink(makeLink(url, obj));
|
| }
|
| + String gotoLinkForwardingParameters(String url, [ServiceObject obj]) {
|
| + return app.locationManager.makeLinkForwardingParameters(makeLink(url, obj));
|
| + }
|
|
|
| String formatTimePrecise(double time) => Utils.formatTimePrecise(time);
|
| String formatTimeMilliseconds(int millis) =>
|
|
|