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) => |