menu.json 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970
  1. {
  2. "title": "Workspaces Menu",
  3. "description": "Workspaces Menu",
  4. "jupyter.lab.menus": {
  5. "main": [
  6. {
  7. "id": "jp-mainmenu-file",
  8. "items": [
  9. {
  10. "type": "submenu",
  11. "rank": 10,
  12. "submenu": {
  13. "id": "jp-mainmenu-file-workspaces",
  14. "label": "Workspaces",
  15. "items": [
  16. {
  17. "command": "workspace-ui:open",
  18. "rank": 0
  19. },
  20. {
  21. "command": "workspace-ui:create-new",
  22. "rank": 1
  23. },
  24. {
  25. "command": "workspace-ui:clone",
  26. "rank": 2
  27. },
  28. {
  29. "command": "workspace-ui:rename",
  30. "rank": 3
  31. },
  32. {
  33. "command": "workspace-ui:save",
  34. "rank": 4
  35. },
  36. {
  37. "command": "workspace-ui:save-as",
  38. "rank": 5
  39. },
  40. {
  41. "command": "workspace-ui:import",
  42. "rank": 6
  43. },
  44. {
  45. "command": "workspace-ui:export",
  46. "rank": 7
  47. },
  48. {
  49. "type": "separator",
  50. "rank": 8
  51. },
  52. {
  53. "command": "workspace-ui:reset",
  54. "rank": 9
  55. },
  56. {
  57. "command": "workspace-ui:delete",
  58. "rank": 10
  59. }
  60. ]
  61. }
  62. }
  63. ]
  64. }
  65. ]
  66. },
  67. "properties": {},
  68. "additionalProperties": false,
  69. "type": "object"
  70. }