Index: Source/devtools/front_end/ResourceTreeModel.js |
diff --git a/Source/devtools/front_end/ResourceTreeModel.js b/Source/devtools/front_end/ResourceTreeModel.js |
index 01340224b749f74f7dd22bc216231375e9806f30..b16efb9f58a68c0648ccc8e5fe8c6b816cc83300 100644 |
--- a/Source/devtools/front_end/ResourceTreeModel.js |
+++ b/Source/devtools/front_end/ResourceTreeModel.js |
@@ -461,6 +461,26 @@ WebInspector.ResourceTreeModel.prototype = { |
/** |
* @constructor |
+ * @implements {WebInspector.ActionDelegate} |
+ */ |
+WebInspector.ResourceTreeModel.ReloadPageActionDelegate = function() |
+{ |
+} |
+ |
+WebInspector.ResourceTreeModel.ReloadPageActionDelegate.prototype = { |
+ /** |
+ * @param {!KeyboardEvent=} keyEvent |
+ * @return {boolean} |
+ */ |
+ handleAction: function(keyEvent) |
+ { |
+ WebInspector.resourceTreeModel.reloadPage(keyEvent.ctrlKey || keyEvent.shiftKey); |
+ return true; |
+ } |
+} |
+ |
+/** |
+ * @constructor |
* @param {!WebInspector.ResourceTreeModel} model |
* @param {?WebInspector.ResourceTreeFrame} parentFrame |
* @param {!PageAgent.FrameId} frameId |