| 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"
|
| + ]
|
| +}
|
|
|