Index: Source/devtools/front_end/ModuleManager.js |
diff --git a/Source/devtools/front_end/ModuleManager.js b/Source/devtools/front_end/ModuleManager.js |
index 80a696d65b176d4a04703a5b3e8681d93c6af18c..ae1e69802afcf34d9d1deda7b260938f36f99116 100644 |
--- a/Source/devtools/front_end/ModuleManager.js |
+++ b/Source/devtools/front_end/ModuleManager.js |
@@ -400,4 +400,19 @@ WebInspector.Revealer.prototype = { |
reveal: function(object) {} |
} |
+/** |
+ * @interface |
+ */ |
+WebInspector.ActionDelegate = function() |
+{ |
+} |
+ |
+WebInspector.ActionDelegate.prototype = { |
+ /** |
+ * @param {!KeyboardEvent=} keyEvent |
+ * @return {boolean} |
+ */ |
+ handleAction: function(keyEvent) {} |
+} |
+ |
WebInspector.moduleManager = new WebInspector.ModuleManager(allDescriptors); |