Index: Source/devtools/front_end/inspector.js |
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js |
index 93c556774f4eeafc9c3fc94385c001ed6f199f83..277f4a59192b0b3436b18063bb6f6750182a725e 100644 |
--- a/Source/devtools/front_end/inspector.js |
+++ b/Source/devtools/front_end/inspector.js |
@@ -1017,6 +1017,26 @@ WebInspector.inspect = function(payload, hints) |
return; |
} |
+ if (object.type === "function") { |
+ function didGetDetails(error, response) |
+ { |
+ object.release(); |
+ |
+ if (error) { |
+ console.error(error); |
+ return; |
+ } |
+ |
+ var uiLocation = WebInspector.debuggerModel.rawLocationToUILocation(response.location); |
+ if (!uiLocation) |
+ return; |
+ |
+ WebInspector.showPanel("scripts").showUILocation(uiLocation); |
+ } |
+ DebuggerAgent.getFunctionDetails(object.objectId, didGetDetails.bind(this)); |
+ return; |
+ } |
+ |
if (hints.databaseId) |
WebInspector.showPanel("resources").selectDatabase(WebInspector.databaseModel.databaseForId(hints.databaseId)); |
else if (hints.domStorageId) |