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