Index: Source/devtools/front_end/ResourceTreeModel.js |
diff --git a/Source/devtools/front_end/ResourceTreeModel.js b/Source/devtools/front_end/ResourceTreeModel.js |
index 7ea65bc655352dd5cb2371783adf0f075ae30539..01c5ce2a1957a2ddd1307a5704e3b9585baf201d 100644 |
--- a/Source/devtools/front_end/ResourceTreeModel.js |
+++ b/Source/devtools/front_end/ResourceTreeModel.js |
@@ -480,6 +480,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 |