@jupyterlab/fileeditor-extension 4.0.0-alpha.8 → 4.0.0-beta.0

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.8",
3
+ "version": "4.0.0-beta.0",
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,33 +38,39 @@
37
38
  "watch": "tsc -b --watch"
38
39
  },
39
40
  "dependencies": {
40
- "@jupyterlab/application": "^4.0.0-alpha.8",
41
- "@jupyterlab/apputils": "^4.0.0-alpha.8",
42
- "@jupyterlab/codeeditor": "^4.0.0-alpha.8",
43
- "@jupyterlab/codemirror": "^4.0.0-alpha.8",
44
- "@jupyterlab/completer": "^4.0.0-alpha.8",
45
- "@jupyterlab/console": "^4.0.0-alpha.8",
46
- "@jupyterlab/coreutils": "^6.0.0-alpha.8",
47
- "@jupyterlab/docregistry": "^4.0.0-alpha.8",
48
- "@jupyterlab/filebrowser": "^4.0.0-alpha.8",
49
- "@jupyterlab/fileeditor": "^4.0.0-alpha.8",
50
- "@jupyterlab/launcher": "^4.0.0-alpha.8",
51
- "@jupyterlab/mainmenu": "^4.0.0-alpha.8",
52
- "@jupyterlab/observables": "^5.0.0-alpha.8",
53
- "@jupyterlab/services": "^7.0.0-alpha.8",
54
- "@jupyterlab/settingregistry": "^4.0.0-alpha.8",
55
- "@jupyterlab/statusbar": "^4.0.0-alpha.8",
56
- "@jupyterlab/translation": "^4.0.0-alpha.8",
57
- "@jupyterlab/ui-components": "^4.0.0-alpha.23",
58
- "@lumino/algorithm": "^1.9.1",
59
- "@lumino/commands": "^1.20.0",
60
- "@lumino/coreutils": "^1.12.0",
61
- "@lumino/widgets": "^1.31.1"
41
+ "@codemirror/commands": "^6.1.0",
42
+ "@codemirror/search": "^6.2.0",
43
+ "@jupyterlab/application": "^4.0.0-beta.0",
44
+ "@jupyterlab/apputils": "^4.0.0-beta.0",
45
+ "@jupyterlab/codeeditor": "^4.0.0-beta.0",
46
+ "@jupyterlab/codemirror": "^4.0.0-beta.0",
47
+ "@jupyterlab/completer": "^4.0.0-beta.0",
48
+ "@jupyterlab/console": "^4.0.0-beta.0",
49
+ "@jupyterlab/coreutils": "^6.0.0-beta.0",
50
+ "@jupyterlab/docregistry": "^4.0.0-beta.0",
51
+ "@jupyterlab/documentsearch": "^4.0.0-beta.0",
52
+ "@jupyterlab/filebrowser": "^4.0.0-beta.0",
53
+ "@jupyterlab/fileeditor": "^4.0.0-beta.0",
54
+ "@jupyterlab/launcher": "^4.0.0-beta.0",
55
+ "@jupyterlab/lsp": "^4.0.0-beta.0",
56
+ "@jupyterlab/mainmenu": "^4.0.0-beta.0",
57
+ "@jupyterlab/observables": "^5.0.0-beta.0",
58
+ "@jupyterlab/rendermime-interfaces": "^3.8.0-beta.0",
59
+ "@jupyterlab/services": "^7.0.0-beta.0",
60
+ "@jupyterlab/settingregistry": "^4.0.0-beta.0",
61
+ "@jupyterlab/statusbar": "^4.0.0-beta.0",
62
+ "@jupyterlab/toc": "^6.0.0-beta.0",
63
+ "@jupyterlab/translation": "^4.0.0-beta.0",
64
+ "@jupyterlab/ui-components": "^4.0.0-beta.0",
65
+ "@lumino/algorithm": "^2.0.0",
66
+ "@lumino/commands": "^2.0.0",
67
+ "@lumino/coreutils": "^2.0.0",
68
+ "@lumino/widgets": "^2.0.0"
62
69
  },
63
70
  "devDependencies": {
64
71
  "rimraf": "~3.0.0",
65
- "typedoc": "~0.22.10",
66
- "typescript": "~4.5.2"
72
+ "typedoc": "~0.23.25",
73
+ "typescript": "~5.0.2"
67
74
  },
68
75
  "publishConfig": {
69
76
  "access": "public"
@@ -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,27 +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
- "showTrailingSpace": false,
170
- "tabSize": 4,
171
- "wordWrapColumn": 80,
172
- "showTrailingSpace": false
183
+ "lineNumbers": true
173
184
  }
174
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
+ },
175
192
  "toolbar": {
176
193
  "title": "Text editor toolbar items",
177
194
  "description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key. Toolbar description:",
@@ -185,94 +202,6 @@
185
202
  "additionalProperties": false,
186
203
  "type": "object",
187
204
  "definitions": {
188
- "editorConfig": {
189
- "properties": {
190
- "autoClosingBrackets": {
191
- "type": "boolean",
192
- "default": false,
193
- "title": "Auto Closing Brackets"
194
- },
195
- "codeFolding": {
196
- "type": "boolean",
197
- "default": false,
198
- "title": "Code Folding"
199
- },
200
- "cursorBlinkRate": {
201
- "type": "number",
202
- "title": "Cursor blinking rate",
203
- "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.",
204
- "cursorBlinkRate": 530
205
- },
206
- "fontFamily": {
207
- "type": ["string", "null"],
208
- "title": "Font Family",
209
- "default": null
210
- },
211
- "fontSize": {
212
- "type": ["integer", "null"],
213
- "title": "Font Size",
214
- "minimum": 1,
215
- "maximum": 100,
216
- "default": null
217
- },
218
- "insertSpaces": {
219
- "type": "boolean",
220
- "title": "Insert Spaces",
221
- "default": true
222
- },
223
- "lineHeight": {
224
- "type": ["number", "null"],
225
- "title": "Line Height",
226
- "default": null
227
- },
228
- "lineNumbers": {
229
- "type": "boolean",
230
- "title": "Line Numbers",
231
- "default": true
232
- },
233
- "lineWrap": {
234
- "type": "string",
235
- "title": "Line Wrap",
236
- "enum": ["off", "on", "wordWrapColumn", "bounded"],
237
- "default": "on"
238
- },
239
- "matchBrackets": {
240
- "type": "boolean",
241
- "title": "Match Brackets",
242
- "default": true
243
- },
244
- "readOnly": {
245
- "type": "boolean",
246
- "title": "Read Only",
247
- "default": false
248
- },
249
- "rulers": {
250
- "type": "array",
251
- "title": "Rulers",
252
- "items": {
253
- "type": "number"
254
- },
255
- "default": []
256
- },
257
- "showTrailingSpace": {
258
- "type": "boolean",
259
- "title": "Show Trailing Space",
260
- "default": false
261
- },
262
- "tabSize": {
263
- "type": "number",
264
- "title": "Tab Size",
265
- "default": 4
266
- },
267
- "wordWrapColumn": {
268
- "type": "integer",
269
- "title": "Word Wrap Column",
270
- "default": 80
271
- }
272
- },
273
- "additionalProperties": false,
274
- "type": "object"
275
- },
276
205
  "toolbarItem": {
277
206
  "properties": {
278
207
  "name": {