forked from jupyterlab/plugin-playground
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathplugin.json
More file actions
167 lines (167 loc) · 5.18 KB
/
Copy pathplugin.json
File metadata and controls
167 lines (167 loc) · 5.18 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
{
"title": "Plugin Playground",
"jupyter.lab.setting-icon": "plugin-playground:token-sidebar",
"jupyter.lab.setting-icon-label": "Plugin Playground",
"properties": {
"allowCDN": {
"title": "Allow execution from CDN?",
"description": "Whether to allow execution of modules directly from CDN. The accepted values are `never` and `always-insecure`.",
"type": "string",
"enum": ["awaiting-decision", "always-insecure", "never"],
"default": "awaiting-decision"
},
"requirejsCDN": {
"title": "Base URL of a CDN for requirejs",
"description": "URL from which the unknown packages should be loaded, e.g. https://unpkg.com/",
"default": "https://cdn.jsdelivr.net/npm/",
"type": "string"
},
"urls": {
"title": "Plugin URLs",
"description": "List of URL strings that will be fetched and loaded as plugins automatically on startup.",
"default": [],
"type": "array",
"items": {
"type": "string"
}
},
"showIconInLauncher": {
"title": "Show icon in launcher",
"description": "Whether to show the Plugin Playground icon in the lanucher.",
"default": true,
"type": "boolean"
},
"loadOnSave": {
"title": "Load as extension on save",
"description": "Whether to automatically load the current editor file as an extension every time it is saved.",
"default": false,
"type": "boolean"
},
"commandInsertDefaultMode": {
"title": "Default command insertion mode",
"description": "The default action used by the + button in the Commands tab. Use \"insert\" to insert command execution directly at cursor, or \"ai\" to open JupyterLite AI chat with a prefilled prompt so AI can place the insertion in context.",
"default": "insert",
"type": "string",
"enum": ["insert", "ai"]
},
"shareFolderSelectionDialogMode": {
"title": "Show file selection dialog on folder share",
"description": "Control when folder sharing opens the file-selection dialog. Use \"always\" to always ask, \"auto-excluded-or-limit\" to ask when files are auto-excluded or the URL size limit is hit, or \"limit-only\" to ask only when the URL size limit is hit.",
"default": "always",
"type": "string",
"enum": ["always", "auto-excluded-or-limit", "limit-only"]
},
"plugins": {
"title": "Plugins",
"description": "List of strings of plugin text to load automatically. Line breaks are encoded as '\\n'",
"default": [],
"type": "array",
"items": {
"type": "string"
}
},
"toolbar": {
"title": "Toolbar items (for JupyterLab 3.3+)",
"items": {
"$ref": "#/definitions/toolbarItem"
},
"type": "array",
"default": []
}
},
"jupyter.lab.transform": false,
"jupyter.lab.toolbars": {
"Editor": [
{
"name": "load-as-extension",
"command": "plugin-playground:load-as-extension",
"label": "Run",
"rank": 20
},
{ "name": "plugin-playground-load-on-save", "rank": 21 },
{
"name": "export-extension",
"rank": 22
},
{
"name": "share-extension-link",
"command": "plugin-playground:share-via-link",
"label": "Share",
"rank": 23
}
]
},
"jupyter.lab.menus": {
"context": [
{
"command": "plugin-playground:share-via-link",
"args": { "useBrowserSelection": true, "useContextTarget": true },
"selector": ".jp-DirListing-item[data-isdir=\"false\"]",
"rank": 11
},
{
"command": "plugin-playground:share-via-link",
"args": { "useBrowserSelection": true, "useContextTarget": true },
"selector": ".jp-DirListing-item[data-isdir=\"true\"]",
"rank": 12
}
]
},
"jupyter.lab.shortcuts": [
{
"command": "plugin-playground:load-as-extension",
"keys": ["Ctrl Alt C"],
"selector": ".jp-Editor"
}
],
"additionalProperties": true,
"type": "object",
"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"
},
"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"
}
}
}