blob: 2b5ceaccd6e5cb2398ccd2b51844a3b01ef5722c [file] [log] [blame]
{
"extensions": [
{
"type": "@QuickOpen.FilteredListWidget.Provider",
"title": "Run command",
"prefix": ">",
"className": "QuickOpen.CommandMenuProvider"
},
{
"type": "@QuickOpen.FilteredListWidget.Provider",
"prefix": "?",
"className": "QuickOpen.HelpQuickOpen"
},
{
"type": "action",
"actionId": "commandMenu.show",
"title": "Run command",
"className": "QuickOpen.CommandMenu.ShowActionDelegate",
"bindings": [
{
"platform": "windows,linux",
"shortcut": "Ctrl+Shift+P"
},
{
"platform": "mac",
"shortcut": "Meta+Shift+P"
}
]
},
{
"type": "context-menu-item",
"location": "mainMenu/default",
"actionId": "commandMenu.show"
},
{
"type": "action",
"actionId": "quickOpen.show",
"title": "Open file",
"className": "QuickOpen.QuickOpen.ShowActionDelegate",
"order": 100,
"bindings": [
{
"platform": "mac",
"shortcut": "Meta+P Meta+O"
},
{
"platform": "windows,linux",
"shortcut": "Ctrl+P Ctrl+O"
}
]
},
{
"type": "context-menu-item",
"location": "mainMenu/default",
"actionId": "quickOpen.show"
}
],
"dependencies": [
"ui",
"diff"
],
"scripts": [],
"modules": [
"quick_open.js",
"FilteredListWidget.js",
"QuickOpen.js",
"CommandMenu.js",
"HelpQuickOpen.js"
],
"resources": [
"filteredListWidget.css"
]
}