widget.json 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124
  1. {
  2. "title": "File Browser Widget",
  3. "description": "File Browser widget settings.",
  4. "jupyter.lab.toolbars": {
  5. "FileBrowser": [
  6. {
  7. "name": "new-directory",
  8. "command": "filebrowser:create-new-directory",
  9. "rank": 10
  10. },
  11. { "name": "uploader", "rank": 20 },
  12. { "name": "refresh", "command": "filebrowser:refresh", "rank": 30 },
  13. {
  14. "name": "toggle-file-filter",
  15. "command": "filebrowser:toggle-file-filter",
  16. "rank": 40
  17. }
  18. ]
  19. },
  20. "jupyter.lab.menus": {
  21. "main": [
  22. {
  23. "id": "jp-mainmenu-view",
  24. "items": [
  25. {
  26. "command": "filebrowser:toggle-main",
  27. "rank": 1
  28. }
  29. ]
  30. },
  31. {
  32. "id": "jp-mainmenu-settings",
  33. "items": [
  34. {
  35. "type": "separator",
  36. "rank": 5
  37. },
  38. {
  39. "command": "filebrowser:toggle-navigate-to-current-directory",
  40. "rank": 5
  41. },
  42. {
  43. "type": "separator",
  44. "rank": 5
  45. }
  46. ]
  47. }
  48. ]
  49. },
  50. "jupyter.lab.shortcuts": [
  51. {
  52. "command": "filebrowser:toggle-main",
  53. "keys": ["Accel Shift F"],
  54. "selector": "body"
  55. }
  56. ],
  57. "jupyter.lab.transform": true,
  58. "properties": {
  59. "toolbar": {
  60. "title": "File browser toolbar items",
  61. "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:",
  62. "items": {
  63. "$ref": "#/definitions/toolbarItem"
  64. },
  65. "type": "array",
  66. "default": []
  67. }
  68. },
  69. "additionalProperties": false,
  70. "type": "object",
  71. "definitions": {
  72. "toolbarItem": {
  73. "properties": {
  74. "name": {
  75. "title": "Unique name",
  76. "type": "string"
  77. },
  78. "args": {
  79. "title": "Command arguments",
  80. "type": "object"
  81. },
  82. "command": {
  83. "title": "Command id",
  84. "type": "string",
  85. "default": ""
  86. },
  87. "disabled": {
  88. "title": "Whether the item is ignored or not",
  89. "type": "boolean",
  90. "default": false
  91. },
  92. "icon": {
  93. "title": "Item icon id",
  94. "description": "If defined, it will override the command icon",
  95. "type": "string"
  96. },
  97. "label": {
  98. "title": "Item label",
  99. "description": "If defined, it will override the command label",
  100. "type": "string"
  101. },
  102. "caption": {
  103. "title": "Item caption",
  104. "description": "If defined, it will override the command caption",
  105. "type": "string"
  106. },
  107. "type": {
  108. "title": "Item type",
  109. "type": "string",
  110. "enum": ["command", "spacer"]
  111. },
  112. "rank": {
  113. "title": "Item rank",
  114. "type": "number",
  115. "minimum": 0,
  116. "default": 50
  117. }
  118. },
  119. "required": ["name"],
  120. "additionalProperties": false,
  121. "type": "object"
  122. }
  123. }
  124. }