Chromium Code Reviews| 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() { |