| Index: Source/devtools/front_end/main/Main.js
|
| diff --git a/Source/devtools/front_end/main/Main.js b/Source/devtools/front_end/main/Main.js
|
| index 0239fcbe8c80eff8177798830a19dded4918338b..3fc89655015bc51514728f7210dfda917df17ef6 100644
|
| --- a/Source/devtools/front_end/main/Main.js
|
| +++ b/Source/devtools/front_end/main/Main.js
|
| @@ -332,6 +332,7 @@ WebInspector.Main.prototype = {
|
| this._registerShortcuts();
|
|
|
| this._mainTarget.registerInspectorDispatcher(this);
|
| + InspectorFrontendHost.events.addEventListener(InspectorFrontendHostAPI.Events.ReloadInspectedPage, this._reloadInspectedPage, this);
|
|
|
| if (this._mainTarget.isServiceWorker())
|
| this._mainTarget.runtimeAgent().run();
|
| @@ -559,6 +560,15 @@ WebInspector.Main.prototype = {
|
| },
|
|
|
| /**
|
| + * @param {!WebInspector.Event} event
|
| + */
|
| + _reloadInspectedPage: function(event)
|
| + {
|
| + var hard = /** @type {boolean} */ (event.data);
|
| + WebInspector.Main._reloadPage(hard);
|
| + },
|
| +
|
| + /**
|
| * @override
|
| * @param {!RuntimeAgent.RemoteObject} payload
|
| * @param {!Object=} hints
|
|
|