| 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 9c4d0a7be5f60a8478d40cfa3f103987d90bdfb3..fce6a14ebe7b58083b02d42cb7da852c804c4f03 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,7 @@ Main.Main = class {
|
| * @param {boolean} hard
|
| */
|
| static _reloadPage(hard) {
|
| - var mainTarget = SDK.targetManager.mainTarget();
|
| - if (mainTarget && mainTarget.hasBrowserCapability())
|
| - SDK.targetManager.reloadPage(hard);
|
| + SDK.ResourceTreeModel.reloadAllPages(hard);
|
| }
|
|
|
| _loaded() {
|
|
|