palette.json 936 B

12345678910111213141516171819202122232425262728293031323334353637383940
  1. {
  2. "title": "Command Palette",
  3. "description": "Command palette settings.",
  4. "jupyter.lab.setting-icon": "ui-components:palette",
  5. "jupyter.lab.setting-icon-label": "Command Palette",
  6. "jupyter.lab.menus": {
  7. "main": [
  8. {
  9. "id": "jp-mainmenu-view",
  10. "items": [
  11. {
  12. "command": "apputils:activate-command-palette",
  13. "rank": 0
  14. },
  15. {
  16. "type": "separator",
  17. "rank": 0
  18. }
  19. ]
  20. }
  21. ]
  22. },
  23. "jupyter.lab.shortcuts": [
  24. {
  25. "command": "apputils:activate-command-palette",
  26. "keys": ["Accel Shift C"],
  27. "selector": "body"
  28. }
  29. ],
  30. "properties": {
  31. "modal": {
  32. "title": "Modal Command Palette",
  33. "description": "Whether the command palette should be modal or in the left panel.",
  34. "type": "boolean",
  35. "default": true
  36. }
  37. },
  38. "type": "object",
  39. "additionalProperties": false
  40. }