Index: Source/devtools/front_end/main/Main.js |
diff --git a/Source/devtools/front_end/main/Main.js b/Source/devtools/front_end/main/Main.js |
index c58c6071429479210e040fc63732616d07ee69ea..062b99aadbcfa9825576e166989dce36dbc3bbc0 100644 |
--- a/Source/devtools/front_end/main/Main.js |
+++ b/Source/devtools/front_end/main/Main.js |
@@ -588,16 +588,12 @@ WebInspector.Main.prototype = { |
} |
if (object.type === "function") { |
- /** |
- * @param {?Protocol.Error} error |
- * @param {!DebuggerAgent.FunctionDetails} response |
- */ |
object.functionDetails(didGetDetails); |
return; |
} |
/** |
- * @param {?DebuggerAgent.FunctionDetails} response |
+ * @param {?WebInspector.DebuggerModel.FunctionDetails} response |
*/ |
function didGetDetails(response) |
{ |
@@ -606,7 +602,7 @@ WebInspector.Main.prototype = { |
if (!response) |
vsevik
2014/07/18 15:00:45
Should we do
if (!response || !response.location)
|
return; |
- WebInspector.Revealer.reveal(WebInspector.DebuggerModel.Location.fromPayload(object.target(), response.location).toUILocation()); |
+ WebInspector.Revealer.reveal(response.location.toUILocation()); |
} |
if (hints.copyToClipboard) |