widget.json 2.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182
  1. {
  2. "title": "File Browser Widget",
  3. "description": "File Browser widget settings.",
  4. "jupyter.lab.toolbars": {
  5. "FileBrowser": [
  6. {
  7. "name": "new-launcher",
  8. "command": "filebrowser:create-main-launcher",
  9. "rank": 1
  10. },
  11. {
  12. "name": "new-directory",
  13. "command": "filebrowser:create-new-directory",
  14. "rank": 10
  15. },
  16. { "name": "uploader", "rank": 20 },
  17. { "name": "refresh", "command": "filebrowser:refresh", "rank": 30 }
  18. ]
  19. },
  20. "jupyter.lab.transform": true,
  21. "properties": {
  22. "toolbar": {
  23. "title": "File browser toolbar items",
  24. "description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key. The following example will disable the uploader button:\n{\n \"toolbar\": [\n {\n \"name\": \"uploader\",\n \"disabled\": true\n }\n ]\n}\n\nToolbar description:",
  25. "items": {
  26. "$ref": "#/definitions/toolbarItem"
  27. },
  28. "type": "array",
  29. "default": []
  30. }
  31. },
  32. "additionalProperties": false,
  33. "type": "object",
  34. "definitions": {
  35. "toolbarItem": {
  36. "properties": {
  37. "name": {
  38. "title": "Unique name",
  39. "type": "string"
  40. },
  41. "args": {
  42. "title": "Command arguments",
  43. "type": "object"
  44. },
  45. "command": {
  46. "title": "Command id",
  47. "type": "string",
  48. "default": ""
  49. },
  50. "disabled": {
  51. "title": "Whether the item is ignored or not",
  52. "type": "boolean",
  53. "default": false
  54. },
  55. "icon": {
  56. "title": "Item icon id",
  57. "description": "If defined, it will override the command icon",
  58. "type": "string"
  59. },
  60. "label": {
  61. "title": "Item label",
  62. "description": "If defined, it will override the command label",
  63. "type": "string"
  64. },
  65. "type": {
  66. "title": "Item type",
  67. "type": "string",
  68. "enum": ["command", "spacer"]
  69. },
  70. "rank": {
  71. "title": "Item rank",
  72. "type": "number",
  73. "minimum": 0,
  74. "default": 50
  75. }
  76. },
  77. "required": ["name"],
  78. "additionalProperties": false,
  79. "type": "object"
  80. }
  81. }
  82. }