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(); |
}; |