Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
102 changes: 102 additions & 0 deletions schema/drives-file-browser.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,102 @@
{
"title": "Jupyter Drives Settings",
"description": "jupyter-drives settings.",
"jupyter.lab.toolbars": {
"DriveBrowser": [
{
"name": "new-launcher",
"command": "launcher:create",
"rank": 1
},
{
"name": "new-directory",
"command": "filebrowser:create-new-directory",
"rank": 10
},
{ "name": "uploader", "rank": 20 },
{
"name": "refresh",
"command": "filebrowser:refresh",
"rank": 30
},
{
"name": "toggle-file-filter",
"command": "filebrowser:toggle-file-filter",
"rank": 40
},
{
"name": "file-name-searcher",
"rank": 50
}
]
},
"jupyter.lab.setting-icon": "@jupyter/drives:drive-browser",
"jupyter.lab.setting-icon-label": "Drive Browser",
"type": "object",
"jupyter.lab.transform": true,
"properties": {
"toolbar": {
"title": "Drive browser toolbar items",
"description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key.",
"items": {
"$ref": "#/definitions/toolbarItem"
},
"type": "array",
"default": []
}
},
"additionalProperties": false,
"definitions": {
"toolbarItem": {
"properties": {
"name": {
"title": "Unique name",
"type": "string"
},
"args": {
"title": "Command arguments",
"type": "object"
},
"command": {
"title": "Command id",
"type": "string",
"default": ""
},
"disabled": {
"title": "Whether the item is ignored or not",
"type": "boolean",
"default": false
},
"icon": {
"title": "Item icon id",
"description": "If defined, it will override the command icon",
"type": "string"
},
"label": {
"title": "Item label",
"description": "If defined, it will override the command label",
"type": "string"
},
"caption": {
"title": "Item caption",
"description": "If defined, it will override the command caption",
"type": "string"
},
"type": {
"title": "Item type",
"type": "string",
"enum": ["command", "spacer"]
},
"rank": {
"title": "Item rank",
"type": "number",
"minimum": 0,
"default": 50
}
},
"required": ["name"],
"additionalProperties": false,
"type": "object"
}
}
}
24 changes: 0 additions & 24 deletions schema/widget.json

This file was deleted.

Loading
Loading