plugin.json 848 B

12345678910111213141516171819202122232425262728293031323334353637
  1. {
  2. "jupyter.lab.setting-icon": "ui-components:settings",
  3. "jupyter.lab.setting-icon-label": "Status Bar",
  4. "jupyter.lab.menus": {
  5. "main": [
  6. {
  7. "id": "jp-mainmenu-view",
  8. "items": [
  9. {
  10. "type": "submenu",
  11. "submenu": {
  12. "id": "jp-mainmenu-view-appearance",
  13. "items": [
  14. {
  15. "command": "statusbar:toggle",
  16. "rank": 15
  17. }
  18. ]
  19. }
  20. }
  21. ]
  22. }
  23. ]
  24. },
  25. "title": "Status Bar",
  26. "description": "Status Bar settings.",
  27. "properties": {
  28. "visible": {
  29. "type": "boolean",
  30. "title": "Status Bar Visibility",
  31. "description": "Whether to show status bar or not",
  32. "default": true
  33. }
  34. },
  35. "additionalProperties": false,
  36. "type": "object"
  37. }