2022-08-16 21:11:16 +00:00
|
|
|
{
|
|
|
|
"menu": [
|
|
|
|
{
|
|
|
|
"label": "Plugins",
|
|
|
|
"submenu": [
|
|
|
|
{
|
|
|
|
"label": "Command Palette",
|
|
|
|
"submenu": [
|
|
|
|
{
|
2022-08-24 08:08:38 +00:00
|
|
|
"label": "Show Command Palette",
|
2022-08-16 21:11:16 +00:00
|
|
|
"command": "commandpalette:toggle"
|
|
|
|
}
|
|
|
|
]
|
|
|
|
}
|
|
|
|
]
|
|
|
|
}
|
|
|
|
]
|
|
|
|
}
|