| 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 e4826e2b72dc5a366e049f073f1f6c7d43414b2d..213b566540697c8227e6ce7b2de18215f9d071e4 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/components/Reload.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/components/Reload.js
|
| @@ -1,10 +1,9 @@
|
| // Copyright 2015 The Chromium Authors. All rights reserved.
|
| // Use of this source code is governed by a BSD-style license that can be
|
| // found in the LICENSE file.
|
| -
|
| -WebInspector.reload = function()
|
| -{
|
| - if (WebInspector.dockController.canDock() && WebInspector.dockController.dockSide() === WebInspector.DockController.State.Undocked)
|
| - InspectorFrontendHost.setIsDocked(true, function() {});
|
| - window.location.reload();
|
| +WebInspector.reload = function() {
|
| + if (WebInspector.dockController.canDock() &&
|
| + WebInspector.dockController.dockSide() === WebInspector.DockController.State.Undocked)
|
| + InspectorFrontendHost.setIsDocked(true, function() {});
|
| + window.location.reload();
|
| };
|
|
|