| OLD | NEW |
| 1 // Copyright 2015 The Chromium Authors. All rights reserved. | 1 // Copyright 2015 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 WebInspector.reload = function() | 5 WebInspector.reload = function() |
| 6 { | 6 { |
| 7 if (WebInspector.dockController.canDock() && WebInspector.dockController.doc
kSide() === WebInspector.DockController.State.Undocked) | 7 if (WebInspector.dockController.canDock() && WebInspector.dockController.doc
kSide() === WebInspector.DockController.State.Undocked) |
| 8 InspectorFrontendHost.setIsDocked(true, function() {}); | 8 InspectorFrontendHost.setIsDocked(true, function() {}); |
| 9 window.location.reload(); | 9 window.location.reload(); |
| 10 } | 10 }; |
| OLD | NEW |