@jupyterlab/fileeditor-extension 4.0.0-alpha.2 → 4.0.0-alpha.21

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@jupyterlab/fileeditor-extension",
3
- "version": "4.0.0-alpha.2",
3
+ "version": "4.0.0-alpha.21",
4
4
  "description": "JupyterLab - Editor Widget Extension",
5
5
  "homepage": "https://github.com/jupyterlab/jupyterlab",
6
6
  "bugs": {
@@ -28,7 +28,8 @@
28
28
  "lib/*.js",
29
29
  "schema/*.json",
30
30
  "style/**/*.css",
31
- "style/index.js"
31
+ "style/index.js",
32
+ "src/**/*.{ts,tsx}"
32
33
  ],
33
34
  "scripts": {
34
35
  "build": "tsc -b",
@@ -37,29 +38,39 @@
37
38
  "watch": "tsc -b --watch"
38
39
  },
39
40
  "dependencies": {
40
- "@jupyterlab/application": "^4.0.0-alpha.2",
41
- "@jupyterlab/apputils": "^4.0.0-alpha.2",
42
- "@jupyterlab/codeeditor": "^4.0.0-alpha.2",
43
- "@jupyterlab/codemirror": "^4.0.0-alpha.2",
44
- "@jupyterlab/console": "^4.0.0-alpha.2",
45
- "@jupyterlab/coreutils": "^6.0.0-alpha.2",
46
- "@jupyterlab/docregistry": "^4.0.0-alpha.2",
47
- "@jupyterlab/filebrowser": "^4.0.0-alpha.2",
48
- "@jupyterlab/fileeditor": "^4.0.0-alpha.2",
49
- "@jupyterlab/launcher": "^4.0.0-alpha.2",
50
- "@jupyterlab/mainmenu": "^4.0.0-alpha.2",
51
- "@jupyterlab/settingregistry": "^4.0.0-alpha.2",
52
- "@jupyterlab/statusbar": "^4.0.0-alpha.2",
53
- "@jupyterlab/translation": "^4.0.0-alpha.2",
54
- "@jupyterlab/ui-components": "^4.0.0-alpha.17",
55
- "@lumino/commands": "^1.19.0",
56
- "@lumino/coreutils": "^1.11.1",
57
- "@lumino/widgets": "^1.30.0"
41
+ "@codemirror/commands": "^6.1.0",
42
+ "@codemirror/search": "^6.2.0",
43
+ "@jupyterlab/application": "^4.0.0-alpha.21",
44
+ "@jupyterlab/apputils": "^4.0.0-alpha.21",
45
+ "@jupyterlab/codeeditor": "^4.0.0-alpha.21",
46
+ "@jupyterlab/codemirror": "^4.0.0-alpha.21",
47
+ "@jupyterlab/completer": "^4.0.0-alpha.21",
48
+ "@jupyterlab/console": "^4.0.0-alpha.21",
49
+ "@jupyterlab/coreutils": "^6.0.0-alpha.21",
50
+ "@jupyterlab/docregistry": "^4.0.0-alpha.21",
51
+ "@jupyterlab/documentsearch": "^4.0.0-alpha.21",
52
+ "@jupyterlab/filebrowser": "^4.0.0-alpha.21",
53
+ "@jupyterlab/fileeditor": "^4.0.0-alpha.21",
54
+ "@jupyterlab/launcher": "^4.0.0-alpha.21",
55
+ "@jupyterlab/lsp": "^4.0.0-alpha.21",
56
+ "@jupyterlab/mainmenu": "^4.0.0-alpha.21",
57
+ "@jupyterlab/observables": "^5.0.0-alpha.21",
58
+ "@jupyterlab/rendermime-interfaces": "^3.8.0-alpha.21",
59
+ "@jupyterlab/services": "^7.0.0-alpha.21",
60
+ "@jupyterlab/settingregistry": "^4.0.0-alpha.21",
61
+ "@jupyterlab/statusbar": "^4.0.0-alpha.21",
62
+ "@jupyterlab/toc": "^6.0.0-alpha.21",
63
+ "@jupyterlab/translation": "^4.0.0-alpha.21",
64
+ "@jupyterlab/ui-components": "^4.0.0-alpha.36",
65
+ "@lumino/algorithm": "^2.0.0-rc.1",
66
+ "@lumino/commands": "^2.0.0-rc.1",
67
+ "@lumino/coreutils": "^2.0.0-rc.1",
68
+ "@lumino/widgets": "^2.0.0-rc.1"
58
69
  },
59
70
  "devDependencies": {
60
71
  "rimraf": "~3.0.0",
61
- "typedoc": "~0.21.2",
62
- "typescript": "~4.5.2"
72
+ "typedoc": "~0.23.25",
73
+ "typescript": "~5.0.1-rc"
63
74
  },
64
75
  "publishConfig": {
65
76
  "access": "public"
@@ -0,0 +1,14 @@
1
+ {
2
+ "title": "File Editor Completer",
3
+ "description": "File editor completer settings.",
4
+ "jupyter.lab.shortcuts": [
5
+ {
6
+ "command": "completer:invoke-file",
7
+ "keys": ["Tab"],
8
+ "selector": ".jp-FileEditor .jp-mod-completer-enabled"
9
+ }
10
+ ],
11
+ "properties": {},
12
+ "additionalProperties": false,
13
+ "type": "object"
14
+ }
@@ -26,6 +26,27 @@
26
26
  }
27
27
  ]
28
28
  },
29
+ {
30
+ "id": "jp-mainmenu-view",
31
+ "items": [
32
+ {
33
+ "type": "separator",
34
+ "rank": 40
35
+ },
36
+ {
37
+ "type": "submenu",
38
+ "submenu": {
39
+ "id": "jp-mainmenu-view-codemirror-language",
40
+ "label": "Text Editor Syntax Highlighting"
41
+ },
42
+ "rank": 40
43
+ },
44
+ {
45
+ "type": "separator",
46
+ "rank": 40
47
+ }
48
+ ]
49
+ },
29
50
  {
30
51
  "id": "jp-mainmenu-settings",
31
52
  "items": [
@@ -40,38 +61,30 @@
40
61
  "label": "Text Editor Indentation",
41
62
  "items": [
42
63
  {
43
- "command": "fileeditor:change-tabs",
44
- "args": {
45
- "insertSpaces": false,
46
- "size": 4
47
- }
64
+ "command": "fileeditor:change-tabs"
48
65
  },
49
66
  {
50
67
  "command": "fileeditor:change-tabs",
51
68
  "args": {
52
- "insertSpaces": true,
53
- "size": 1
69
+ "size": "1"
54
70
  }
55
71
  },
56
72
  {
57
73
  "command": "fileeditor:change-tabs",
58
74
  "args": {
59
- "insertSpaces": true,
60
- "size": 2
75
+ "size": "2"
61
76
  }
62
77
  },
63
78
  {
64
79
  "command": "fileeditor:change-tabs",
65
80
  "args": {
66
- "insertSpaces": true,
67
- "size": 4
81
+ "size": "4"
68
82
  }
69
83
  },
70
84
  {
71
85
  "command": "fileeditor:change-tabs",
72
86
  "args": {
73
- "insertSpaces": true,
74
- "size": 8
87
+ "size": "8"
75
88
  }
76
89
  }
77
90
  ]
@@ -97,6 +110,19 @@
97
110
  "delta": -1,
98
111
  "isMenu": true
99
112
  }
113
+ },
114
+ {
115
+ "type": "submenu",
116
+ "submenu": {
117
+ "id": "jp-mainmenu-settings-codemirror-theme",
118
+ "label": "Text Editor Theme",
119
+ "items": []
120
+ },
121
+ "rank": 31
122
+ },
123
+ {
124
+ "type": "separator",
125
+ "rank": 39
100
126
  }
101
127
  ]
102
128
  }
@@ -151,25 +177,18 @@
151
177
  "properties": {
152
178
  "editorConfig": {
153
179
  "title": "Editor Configuration",
154
- "description": "The configuration for all text editors.\nIf `fontFamily`, `fontSize` or `lineHeight` are `null`,\nvalues from current theme are used.",
155
- "$ref": "#/definitions/editorConfig",
180
+ "description": "The configuration for all text editors; it will override the CodeMirror default configuration.\nIf `fontFamily`, `fontSize` or `lineHeight` are `null`,\nvalues from current theme are used.",
181
+ "type": "object",
156
182
  "default": {
157
- "autoClosingBrackets": false,
158
- "codeFolding": false,
159
- "cursorBlinkRate": 530,
160
- "fontFamily": null,
161
- "fontSize": null,
162
- "insertSpaces": true,
163
- "lineHeight": null,
164
- "lineNumbers": true,
165
- "lineWrap": "on",
166
- "matchBrackets": true,
167
- "readOnly": false,
168
- "rulers": [],
169
- "tabSize": 4,
170
- "wordWrapColumn": 80
183
+ "lineNumbers": true
171
184
  }
172
185
  },
186
+ "scrollPastEnd": {
187
+ "title": "Scroll behavior",
188
+ "description": "Whether to scroll past the end of text document.",
189
+ "type": "boolean",
190
+ "default": true
191
+ },
173
192
  "toolbar": {
174
193
  "title": "Text editor toolbar items",
175
194
  "description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key. Toolbar description:",
@@ -183,80 +202,6 @@
183
202
  "additionalProperties": false,
184
203
  "type": "object",
185
204
  "definitions": {
186
- "editorConfig": {
187
- "properties": {
188
- "autoClosingBrackets": {
189
- "type": "boolean",
190
- "default": false
191
- },
192
- "codeFolding": {
193
- "type": "boolean",
194
- "default": false
195
- },
196
- "cursorBlinkRate": {
197
- "type": "number",
198
- "title": "Cursor blinking rate",
199
- "description": "Half-period in milliseconds used for cursor blinking. The default blink rate is 530ms. By setting this to zero, blinking can be disabled. A negative value hides the cursor entirely.",
200
- "cursorBlinkRate": 530
201
- },
202
- "fontFamily": {
203
- "type": ["string", "null"],
204
- "default": null
205
- },
206
- "fontSize": {
207
- "type": ["integer", "null"],
208
- "minimum": 1,
209
- "maximum": 100,
210
- "default": null
211
- },
212
- "insertSpaces": {
213
- "type": "boolean",
214
- "default": true
215
- },
216
- "lineHeight": {
217
- "type": ["number", "null"],
218
- "default": null
219
- },
220
- "lineNumbers": {
221
- "type": "boolean",
222
- "default": true
223
- },
224
- "lineWrap": {
225
- "type": "string",
226
- "enum": ["off", "on", "wordWrapColumn", "bounded"],
227
- "default": "on"
228
- },
229
- "matchBrackets": {
230
- "type": "boolean",
231
- "default": true
232
- },
233
- "readOnly": {
234
- "type": "boolean",
235
- "default": false
236
- },
237
- "rulers": {
238
- "type": "array",
239
- "items": {
240
- "type": "number"
241
- },
242
- "default": []
243
- },
244
- "showTrailingSpace": {
245
- "type": "boolean",
246
- "default": false
247
- },
248
- "tabSize": {
249
- "type": "number",
250
- "default": 4
251
- },
252
- "wordWrapColumn": {
253
- "type": "integer",
254
- "default": 80
255
- }
256
- },
257
- "additionalProperties": false,
258
- "type": "object"
259
- },
260
205
  "toolbarItem": {
261
206
  "properties": {
262
207
  "name": {