browser.json 757 B

12345678910111213141516171819202122232425262728
  1. {
  2. "jupyter.lab.setting-icon": "ui-components:folder",
  3. "jupyter.lab.setting-icon-label": "File Browser",
  4. "title": "File Browser",
  5. "description": "File Browser settings.",
  6. "jupyter.lab.shortcuts": [
  7. {
  8. "command": "filebrowser:create-main-launcher",
  9. "keys": ["Accel Shift L"],
  10. "selector": "body"
  11. },
  12. {
  13. "command": "filebrowser:toggle-main",
  14. "keys": ["Accel Shift F"],
  15. "selector": "body"
  16. }
  17. ],
  18. "properties": {
  19. "navigateToCurrentDirectory": {
  20. "type": "boolean",
  21. "title": "Navigate to current directory",
  22. "description": "Whether to automatically navigate to a document's current directory",
  23. "default": false
  24. }
  25. },
  26. "additionalProperties": false,
  27. "type": "object"
  28. }