| 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
|
| index 8a20f24059214830476f71c2505c65291c87c30d..a9b49d792e885147df529f0913f67acb7f9d9be7 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/quick_open/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/quick_open/module.json
|
| @@ -1,6 +1,12 @@
|
| {
|
| "extensions": [
|
| {
|
| + "type": "@QuickOpen.FilteredListWidget.Provider",
|
| + "title": "Run a command",
|
| + "prefix": ">",
|
| + "className": "QuickOpen.CommandMenuProvider"
|
| + },
|
| + {
|
| "type": "@UI.ActionDelegate",
|
| "actionId": "commandMenu.show",
|
| "className": "QuickOpen.CommandMenu.ShowActionDelegate",
|
|
|