| 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 b423b6469ab366befe86c9b472970121a935194d..34dac490acb373822e526313aed333ebbcd435ef 100644
|
| --- a/Source/devtools/front_end/main/Main.js
|
| +++ b/Source/devtools/front_end/main/Main.js
|
| @@ -821,6 +821,10 @@ WebInspector.__defineGetter__("inspectedPageURL", function()
|
| return WebInspector.resourceTreeModel.inspectedPageURL();
|
| });
|
|
|
| +/**
|
| + * @param {string} name
|
| + * @return {?WebInspector.Panel}
|
| + */
|
| WebInspector.panel = function(name)
|
| {
|
| return WebInspector.inspectorView.panel(name);
|
|
|