shortcuts.json 929 B

12345678910111213141516171819202122232425262728293031323334
  1. {
  2. "jupyter.lab.setting-icon-class": "jp-LauncherIcon",
  3. "jupyter.lab.setting-icon-label": "Keyboard Shortcuts",
  4. "jupyter.lab.transform": true,
  5. "title": "Keyboard Shortcuts",
  6. "description": "Keyboard shortcut settings for JupyterLab.",
  7. "type": "object",
  8. "additionalProperties": false,
  9. "properties": {
  10. "shortcuts": {
  11. "title": "Keyboard Shortcuts",
  12. "description": "The list of keyboard shortcuts.",
  13. "items": { "$ref": "#/definitions/shortcut" },
  14. "type": "array",
  15. "default": []
  16. }
  17. },
  18. "definitions": {
  19. "shortcut": {
  20. "properties": {
  21. "args": { "type": "object" },
  22. "command": { "type": "string" },
  23. "keys": {
  24. "items": { "type": "string" },
  25. "minItems": 1,
  26. "type": "array"
  27. },
  28. "selector": { "type": "string" }
  29. },
  30. "required": ["command", "keys", "selector"],
  31. "type": "object"
  32. }
  33. }
  34. }