sidebar.json 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. {
  2. "title": "Workspaces Sidebar",
  3. "description": "Workspaces Sidebar",
  4. "jupyter.lab.menus": {
  5. "context": [
  6. {
  7. "command": "workspace-ui:clone",
  8. "selector": ".jp-RunningSessions-item.jp-mod-workspace",
  9. "rank": 0
  10. },
  11. {
  12. "command": "workspace-ui:rename",
  13. "selector": ".jp-RunningSessions-item.jp-mod-workspace",
  14. "rank": 1
  15. },
  16. {
  17. "command": "workspace-ui:reset",
  18. "selector": ".jp-RunningSessions-item.jp-mod-workspace",
  19. "rank": 2
  20. },
  21. {
  22. "command": "workspace-ui:delete",
  23. "selector": ".jp-RunningSessions-item.jp-mod-workspace",
  24. "rank": 3
  25. },
  26. {
  27. "command": "workspace-ui:export",
  28. "selector": ".jp-RunningSessions-item.jp-mod-workspace",
  29. "rank": 4
  30. },
  31. {
  32. "type": "separator",
  33. "selector": ".jp-RunningSessions-item.jp-mod-workspace",
  34. "rank": 5
  35. },
  36. {
  37. "command": "workspace-ui:import",
  38. "selector": ".jp-RunningSessions-section:has(.jp-mod-workspace)",
  39. "rank": 6
  40. },
  41. {
  42. "command": "workspace-ui:create-new",
  43. "selector": ".jp-RunningSessions-section:has(.jp-mod-workspace)",
  44. "rank": 7
  45. }
  46. ]
  47. },
  48. "properties": {},
  49. "additionalProperties": false,
  50. "type": "object"
  51. }