Merge pull request #25459 from jesuscb99/master

New "Open Package Manager" menu item
This commit is contained in:
Musa Ibrahim 2022-06-23 10:01:25 +01:00 committed by GitHub
commit ae14722989
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 12 additions and 3 deletions

View File

@ -196,7 +196,10 @@
{
label: 'Packages'
submenu: []
submenu: [
{ label: 'Open Package Manager', command: 'settings-view:view-installed-packages' }
{ type: 'separator' }
]
}
{

View File

@ -179,7 +179,10 @@
{
label: '&Packages'
submenu: []
submenu: [
{ label: 'Open Package Manager', command: 'settings-view:view-installed-packages' }
{ type: 'separator' }
]
}
{

View File

@ -178,7 +178,10 @@
{
label: '&Packages'
submenu: []
submenu: [
{ label: 'Open Package Manager', command: 'settings-view:view-installed-packages' }
{ type: 'separator' }
]
}
{