| 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
|
|
|