inspector.json 655 B

1234567891011121314151617181920212223242526272829303132333435
  1. {
  2. "title": "Inspector",
  3. "description": "Inspector settings.",
  4. "jupyter.lab.menus": {
  5. "main": [
  6. {
  7. "id": "jp-mainmenu-help",
  8. "items": [
  9. {
  10. "type": "separator",
  11. "rank": 0.1
  12. },
  13. {
  14. "command": "inspector:open",
  15. "rank": 0.1
  16. },
  17. {
  18. "type": "separator",
  19. "rank": 0.1
  20. }
  21. ]
  22. }
  23. ]
  24. },
  25. "jupyter.lab.shortcuts": [
  26. {
  27. "command": "inspector:open",
  28. "keys": ["Accel I"],
  29. "selector": "body"
  30. }
  31. ],
  32. "properties": {},
  33. "additionalProperties": false,
  34. "type": "object"
  35. }