| 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 6ef894db76a357380f634a0295f825a42c319b8b..628a32dadc0ec58c164d072ee12425d6e59b491e 100644
|
| --- a/Source/devtools/front_end/main/Main.js
|
| +++ b/Source/devtools/front_end/main/Main.js
|
| @@ -628,7 +628,7 @@ WebInspector.reload = function()
|
| {
|
| if (WebInspector.dockController.canDock() && WebInspector.dockController.dockSide() === WebInspector.DockController.State.Undocked)
|
| InspectorFrontendHost.setIsDocked(true, function() {});
|
| - window.top.location.reload();
|
| + window.location.reload();
|
| }
|
|
|
| /**
|
|
|