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 |