| Index: third_party/WebKit/Source/devtools/front_end/components/Reload.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/components/Reload.js b/third_party/WebKit/Source/devtools/front_end/components/Reload.js
|
| index 0f2c2e8a71a99fa536e6dcf4a2b7cacb7586fde7..e4826e2b72dc5a366e049f073f1f6c7d43414b2d 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/components/Reload.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/components/Reload.js
|
| @@ -7,4 +7,4 @@ WebInspector.reload = function()
|
| if (WebInspector.dockController.canDock() && WebInspector.dockController.dockSide() === WebInspector.DockController.State.Undocked)
|
| InspectorFrontendHost.setIsDocked(true, function() {});
|
| window.location.reload();
|
| -}
|
| +};
|
|
|