Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(78)

Side by Side Diff: third_party/WebKit/Source/devtools/front_end/components/Reload.js

Issue 2493373002: DevTools: rename WebInspector into modules. (Closed)
Patch Set: for bots Created 4 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
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 WebInspector.reload = function() { 4 Components.reload = function() {
5 if (WebInspector.dockController.canDock() && 5 if (Components.dockController.canDock() &&
6 WebInspector.dockController.dockSide() === WebInspector.DockController.Sta te.Undocked) 6 Components.dockController.dockSide() === Components.DockController.State.U ndocked)
7 InspectorFrontendHost.setIsDocked(true, function() {}); 7 InspectorFrontendHost.setIsDocked(true, function() {});
8 window.location.reload(); 8 window.location.reload();
9 }; 9 };
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698