| OLD | NEW |
| 1 { | 1 { |
| 2 "extensions": [ | 2 "extensions": [ |
| 3 { | 3 { |
| 4 "type": "@QuickOpen.FilteredListWidget.Provider", |
| 5 "title": "Run a command", |
| 6 "prefix": ">", |
| 7 "className": "QuickOpen.CommandMenuProvider" |
| 8 }, |
| 9 { |
| 4 "type": "@UI.ActionDelegate", | 10 "type": "@UI.ActionDelegate", |
| 5 "actionId": "commandMenu.show", | 11 "actionId": "commandMenu.show", |
| 6 "className": "QuickOpen.CommandMenu.ShowActionDelegate", | 12 "className": "QuickOpen.CommandMenu.ShowActionDelegate", |
| 7 "bindings": [ | 13 "bindings": [ |
| 8 { | 14 { |
| 9 "platform": "windows,linux", | 15 "platform": "windows,linux", |
| 10 "shortcut": "Ctrl+Shift+P" | 16 "shortcut": "Ctrl+Shift+P" |
| 11 }, | 17 }, |
| 12 { | 18 { |
| 13 "platform": "mac", | 19 "platform": "mac", |
| (...skipping 25 matching lines...) Expand all Loading... |
| 39 ], | 45 ], |
| 40 "scripts": [ | 46 "scripts": [ |
| 41 "FilteredListWidget.js", | 47 "FilteredListWidget.js", |
| 42 "QuickOpen.js", | 48 "QuickOpen.js", |
| 43 "CommandMenu.js" | 49 "CommandMenu.js" |
| 44 ], | 50 ], |
| 45 "resources": [ | 51 "resources": [ |
| 46 "filteredListWidget.css" | 52 "filteredListWidget.css" |
| 47 ] | 53 ] |
| 48 } | 54 } |
| OLD | NEW |