Skip to content

Commit 0467fb1

Browse files
authored
Merge pull request #18 from DenisaCG/driveBrowser
Instate Drives `FileBrowser`
2 parents a9f795b + 9c1138a commit 0467fb1

File tree

7 files changed

+911
-39
lines changed

7 files changed

+911
-39
lines changed

schema/drives-file-browser.json

Lines changed: 102 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,102 @@
1+
{
2+
"title": "Jupyter Drives Settings",
3+
"description": "jupyter-drives settings.",
4+
"jupyter.lab.toolbars": {
5+
"DriveBrowser": [
6+
{
7+
"name": "new-launcher",
8+
"command": "launcher:create",
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+
{
18+
"name": "refresh",
19+
"command": "filebrowser:refresh",
20+
"rank": 30
21+
},
22+
{
23+
"name": "toggle-file-filter",
24+
"command": "filebrowser:toggle-file-filter",
25+
"rank": 40
26+
},
27+
{
28+
"name": "file-name-searcher",
29+
"rank": 50
30+
}
31+
]
32+
},
33+
"jupyter.lab.setting-icon": "@jupyter/drives:drive-browser",
34+
"jupyter.lab.setting-icon-label": "Drive Browser",
35+
"type": "object",
36+
"jupyter.lab.transform": true,
37+
"properties": {
38+
"toolbar": {
39+
"title": "Drive browser toolbar items",
40+
"description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key.",
41+
"items": {
42+
"$ref": "#/definitions/toolbarItem"
43+
},
44+
"type": "array",
45+
"default": []
46+
}
47+
},
48+
"additionalProperties": false,
49+
"definitions": {
50+
"toolbarItem": {
51+
"properties": {
52+
"name": {
53+
"title": "Unique name",
54+
"type": "string"
55+
},
56+
"args": {
57+
"title": "Command arguments",
58+
"type": "object"
59+
},
60+
"command": {
61+
"title": "Command id",
62+
"type": "string",
63+
"default": ""
64+
},
65+
"disabled": {
66+
"title": "Whether the item is ignored or not",
67+
"type": "boolean",
68+
"default": false
69+
},
70+
"icon": {
71+
"title": "Item icon id",
72+
"description": "If defined, it will override the command icon",
73+
"type": "string"
74+
},
75+
"label": {
76+
"title": "Item label",
77+
"description": "If defined, it will override the command label",
78+
"type": "string"
79+
},
80+
"caption": {
81+
"title": "Item caption",
82+
"description": "If defined, it will override the command caption",
83+
"type": "string"
84+
},
85+
"type": {
86+
"title": "Item type",
87+
"type": "string",
88+
"enum": ["command", "spacer"]
89+
},
90+
"rank": {
91+
"title": "Item rank",
92+
"type": "number",
93+
"minimum": 0,
94+
"default": 50
95+
}
96+
},
97+
"required": ["name"],
98+
"additionalProperties": false,
99+
"type": "object"
100+
}
101+
}
102+
}

schema/widget.json

Lines changed: 0 additions & 24 deletions
This file was deleted.

0 commit comments

Comments
 (0)