tracker.json 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. {
  2. "title": "Code Console",
  3. "description": "Code Console settings.",
  4. "jupyter.lab.setting-icon": "ui-components:console",
  5. "jupyter.lab.setting-icon-label": "Code Console Settings",
  6. "jupyter.lab.shortcuts": [
  7. {
  8. "command": "console:linebreak",
  9. "keys": ["Enter"],
  10. "selector": ".jp-CodeConsole[data-jp-interaction-mode='notebook'] .jp-CodeConsole-promptCell"
  11. },
  12. {
  13. "command": "console:run-forced",
  14. "keys": ["Shift Enter"],
  15. "selector": ".jp-CodeConsole[data-jp-interaction-mode='notebook'] .jp-CodeConsole-promptCell"
  16. },
  17. {
  18. "command": "console:linebreak",
  19. "keys": ["Accel Enter"],
  20. "selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell"
  21. },
  22. {
  23. "command": "console:run-forced",
  24. "keys": ["Shift Enter"],
  25. "selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell"
  26. },
  27. {
  28. "command": "console:run-unforced",
  29. "keys": ["Enter"],
  30. "selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell"
  31. }
  32. ],
  33. "properties": {
  34. "interactionMode": {
  35. "title": "Interaction mode",
  36. "description": "Whether the console interaction mimics the notebook\nor terminal keyboard shortcuts.",
  37. "type": "string",
  38. "enum": ["notebook", "terminal"],
  39. "default": "notebook"
  40. }
  41. },
  42. "additionalProperties": false,
  43. "type": "object"
  44. }