Index: third_party/WebKit/Source/devtools/front_end/main/Main.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/main/Main.js b/third_party/WebKit/Source/devtools/front_end/main/Main.js |
index be2b1c0610a33d10fb9d84a4a1205df5d415a04a..dc54621266b4ee2400b757b078625823ea4e774f 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/main/Main.js |
+++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js |
@@ -44,9 +44,8 @@ Main.Main = class { |
* @param {boolean} hard |
*/ |
static _reloadPage(hard) { |
- var mainTarget = SDK.targetManager.mainTarget(); |
- if (mainTarget && mainTarget.hasBrowserCapability()) |
- SDK.targetManager.reloadPage(hard); |
+ for (var resourceTreeModel of SDK.targetManager.models(SDK.ResourceTreeModel)) |
+ resourceTreeModel.reloadPage(hard); |
lushnikov
2017/03/20 23:50:09
(here and in other for-loops): don't you want filt
dgozman
2017/03/21 21:04:09
Done.
|
} |
_loaded() { |