Skip to content
Draft
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
578 changes: 578 additions & 0 deletions binder/remoteEntry.5fdec407f62437865063.js

Large diffs are not rendered by default.

6 changes: 4 additions & 2 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -22,10 +22,10 @@
}
],
"files": [
"schema/**/*.json",
"lib/**/*.{d.ts,eot,gif,html,jpg,js,js.map,json,png,svg,woff2,ttf}",
"style/**/*.{css,svg}",
"style/index.js"
"style/index.js",
"schema/*.json"
],
"main": "lib/index.js",
"types": "lib/index.d.ts",
Expand Down Expand Up @@ -62,6 +62,8 @@
"watch:src": "tsc -w --sourceMap"
},
"dependencies": {
"@jupyter/react-components": "^0.13.3",
"@jupyter/web-components": "^0.13.2",
"@jupyterlab/application": "^4.0.5",
"@jupyterlab/docmanager": "^4.0.5",
"@jupyterlab/filebrowser": "^4.0.5",
Expand Down
85 changes: 81 additions & 4 deletions schema/plugin.json
Original file line number Diff line number Diff line change
@@ -1,8 +1,85 @@
{
"jupyter.lab.shortcuts": [],
"title": "jupyterlab-unfold",
"jupyter.lab.toolbars": {
"FileBrowser": [
{
"name": "new-directory",
"command": "filebrowser:create-new-directory",
"rank": 10
},
{ "name": "uploader", "rank": 20 },
{ "name": "refresh", "command": "filebrowser:refresh", "rank": 30 },
{
"name": "drive",
"command": "jupyterlab-unfold:open-drives-dialog",
"rank": 35
},
{ "name": "fileNameSearcher", "rank": 40 }
]
},
"title": "'jupyterlab-unfold",
"description": "jupyterlab-unfold settings.",
"type": "object",
"properties": {},
"additionalProperties": false
"jupyter.lab.transform": true,
"properties": {
"toolbar": {
"title": "File browser toolbar items",
"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:",
"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
}
}
}
}
}
Loading