| Index: third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js b/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
|
| index 40fe2a96032e5b60215e9b2b57da0ea743f5464c..19244b0e8741c82b43f11efe674420c83b93bf1b 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js
|
| @@ -90,6 +90,17 @@ SDK.ResourceTreeModel = class extends SDK.SDKModel {
|
| return null;
|
| }
|
|
|
| + /**
|
| + * @param {boolean=} bypassCache
|
| + * @param {string=} scriptToEvaluateOnLoad
|
| + */
|
| + static reloadAllPages(bypassCache, scriptToEvaluateOnLoad) {
|
| + for (var resourceTreeModel of SDK.targetManager.models(SDK.ResourceTreeModel)) {
|
| + if (!resourceTreeModel.target().parentTarget())
|
| + resourceTreeModel.reloadPage(bypassCache, scriptToEvaluateOnLoad);
|
| + }
|
| + }
|
| +
|
| _fetchResourceTree() {
|
| /** @type {!Map<string, !SDK.ResourceTreeFrame>} */
|
| this._frames = new Map();
|
| @@ -721,7 +732,8 @@ SDK.PageDispatcher = class {
|
| * @param {number} time
|
| */
|
| loadEventFired(time) {
|
| - this._resourceTreeModel.dispatchEventToListeners(SDK.ResourceTreeModel.Events.Load, time);
|
| + this._resourceTreeModel.dispatchEventToListeners(
|
| + SDK.ResourceTreeModel.Events.Load, {resourceTreeModel: this._resourceTreeModel, loadTime: time});
|
| }
|
|
|
| /**
|
|
|