| 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
|
| deleted file mode 100644
|
| index 105f5c970a83c70f8f50da75bf3cbec4b5639262..0000000000000000000000000000000000000000
|
| --- a/third_party/WebKit/Source/devtools/front_end/components/Reload.js
|
| +++ /dev/null
|
| @@ -1,9 +0,0 @@
|
| -// 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.
|
| -Components.reload = function() {
|
| - if (Components.dockController.canDock() &&
|
| - Components.dockController.dockSide() === Components.DockController.State.Undocked)
|
| - InspectorFrontendHost.setIsDocked(true, function() {});
|
| - window.location.reload();
|
| -};
|
|
|