Index: third_party/WebKit/Source/devtools/front_end/quick_open/module.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/quick_open/module.json b/third_party/WebKit/Source/devtools/front_end/quick_open/module.json |
new file mode 100644 |
index 0000000000000000000000000000000000000000..60f97fde5d3e0d887abfc7a8a4dfbe241d13b49f |
--- /dev/null |
+++ b/third_party/WebKit/Source/devtools/front_end/quick_open/module.json |
@@ -0,0 +1,30 @@ |
+{ |
+ "extensions": [ |
+ { |
+ "type": "@UI.ActionDelegate", |
+ "actionId": "commandMenu.show", |
+ "className": "QuickOpen.CommandMenu.ShowActionDelegate", |
+ "bindings": [ |
+ { |
+ "platform": "windows,linux", |
+ "shortcut": "Ctrl+Shift+P" |
+ }, |
+ { |
+ "platform": "mac", |
+ "shortcut": "Meta+Shift+P" |
+ } |
+ ] |
+ } |
+ ], |
+ "dependencies": [ |
+ "ui", |
+ "diff" |
+ ], |
+ "scripts": [ |
+ "FilteredListWidget.js", |
+ "CommandMenu.js" |
+ ], |
+ "resources": [ |
+ "filteredListWidget.css" |
+ ] |
+} |