@@ -73,9 +73,9 @@ export const EDITOR_SPEC = {
73
73
] ) ,
74
74
customizeCommands : {
75
75
guide : {
76
- label : "Snippets" ,
76
+ label : editor . snippets_label ,
77
77
icon : SNIPPET_ICON_NAME ,
78
- title : "Open a panel containing code snippets." ,
78
+ title : editor . snippets_tooltip ,
79
79
} ,
80
80
shell : {
81
81
label : jupyter . editor . console_label ,
@@ -92,7 +92,7 @@ export const EDITOR_SPEC = {
92
92
commands : set ( [ "decrease_font_size" , "increase_font_size" ] ) ,
93
93
} as EditorDescription ,
94
94
jupyter_slideshow_revealjs : {
95
- short : "Slideshow" ,
95
+ short : labels . slideshow ,
96
96
name : "Slideshow (Reveal.js)" ,
97
97
icon : "slides" ,
98
98
component : Slideshow ,
@@ -106,24 +106,24 @@ export const EDITOR_SPEC = {
106
106
commands : set ( [ "decrease_font_size" , "increase_font_size" ] ) ,
107
107
} as EditorDescription ,
108
108
introspect : {
109
- short : "Introspect" ,
110
- name : "Introspection" ,
109
+ short : jupyter . editor . introspect_short ,
110
+ name : jupyter . editor . introspect_title ,
111
111
icon : "info" ,
112
112
component : Introspect ,
113
113
commands : set ( [ "decrease_font_size" , "increase_font_size" ] ) ,
114
114
} as EditorDescription ,
115
115
terminal,
116
116
time_travel,
117
117
jupyter_json : {
118
- short : "JSON view" ,
119
- name : "Raw JSON viewer" ,
118
+ short : jupyter . editor . raw_json_view_short ,
119
+ name : jupyter . editor . raw_json_view_title ,
120
120
icon : "js-square" ,
121
121
component : JSONIPynb ,
122
122
commands : set ( [ "decrease_font_size" , "increase_font_size" ] ) ,
123
123
} as EditorDescription ,
124
124
jupyter_raw : {
125
- short : "JSON edit" ,
126
- name : "Raw JSON editor" ,
125
+ short : jupyter . editor . raw_json_editor_short ,
126
+ name : jupyter . editor . raw_json_editor_title ,
127
127
icon : "markdown" ,
128
128
component : RawIPynb ,
129
129
commands : set ( [ "decrease_font_size" , "increase_font_size" ] ) ,
@@ -138,7 +138,7 @@ const JUPYTER_MENUS = {
138
138
download : [
139
139
{
140
140
icon : "file-export" ,
141
- label : "Save and Export As PDF" ,
141
+ label : jupyter . commands . download_as_pdf ,
142
142
name : "save-and-download-as-pdf" ,
143
143
children : [
144
144
"nbconvert cocalc pdf" ,
@@ -149,7 +149,7 @@ const JUPYTER_MENUS = {
149
149
} ,
150
150
{
151
151
icon : "file-export" ,
152
- label : "Save and Export As HTML" ,
152
+ label : jupyter . commands . download_as_html ,
153
153
name : "save-and-download-as-html" ,
154
154
children : [
155
155
"nbconvert cocalc html" ,
@@ -159,7 +159,7 @@ const JUPYTER_MENUS = {
159
159
} ,
160
160
{
161
161
icon : "file-export" ,
162
- label : "Save and Export..." ,
162
+ label : jupyter . commands . export_menu ,
163
163
name : "save-and-download-as-other" ,
164
164
children : [
165
165
"nbconvert script" ,
@@ -200,7 +200,7 @@ const JUPYTER_MENUS = {
200
200
{
201
201
icon : "paste" ,
202
202
name : "paste-cells" ,
203
- label : "Paste Cells" ,
203
+ label : jupyter . commands . paste_cells_menu ,
204
204
children : [
205
205
"paste cell and replace" ,
206
206
"paste cell above" ,
@@ -210,28 +210,28 @@ const JUPYTER_MENUS = {
210
210
] ,
211
211
"insert-delete" : [
212
212
{
213
- label : "Insert Cell" ,
214
- button : "Insert" ,
213
+ label : jupyter . commands . insert_cells_menu ,
214
+ button : labels . insert ,
215
215
name : "insert-cell" ,
216
216
icon : "plus" ,
217
217
children : [ "insert cell above" , "insert cell below" ] ,
218
218
} ,
219
219
{
220
- label : "Delete Cells" ,
220
+ label : jupyter . commands . delete_cells_menu ,
221
221
icon : "trash" ,
222
222
name : "delete-cell" ,
223
223
children : [ "delete cell" , "delete all blank code cells" ] ,
224
224
} ,
225
225
{
226
226
name : "move-cell" ,
227
- label : "Move Cells" ,
227
+ label : jupyter . commands . move_cells_menu ,
228
228
icon : "arrow-up" ,
229
229
children : [ "move cell up" , "move cell down" ] ,
230
230
} ,
231
231
{
232
232
icon : "horizontal-split" ,
233
233
name : "split-merge-cells" ,
234
- label : "Split and Merge" ,
234
+ label : jupyter . commands . split_and_merge_menu ,
235
235
children : [
236
236
"split cell at cursor" ,
237
237
"merge cell with previous cell" ,
@@ -243,15 +243,15 @@ const JUPYTER_MENUS = {
243
243
"cell-selection" : [
244
244
{
245
245
icon : "menu-outlined" ,
246
- label : "Select Cells" ,
246
+ label : jupyter . commands . select_cells_menu ,
247
247
name : "select" ,
248
248
children : [ "select all cells" , "deselect all cells" ] ,
249
249
} ,
250
250
] ,
251
251
"cell-type" : [
252
252
{
253
253
name : "cell-type" ,
254
- label : "Cell Type" ,
254
+ label : jupyter . commands . cell_type_menu ,
255
255
icon : "code-outlined" ,
256
256
children : [
257
257
"change cell to code" ,
@@ -265,7 +265,7 @@ const JUPYTER_MENUS = {
265
265
{
266
266
icon : "battery-empty" ,
267
267
name : "clear" ,
268
- label : "Clear Output" ,
268
+ label : jupyter . commands . clear_output_menu ,
269
269
children : [
270
270
"clear cell output" ,
271
271
"clear all cells output" ,
@@ -277,7 +277,7 @@ const JUPYTER_MENUS = {
277
277
"collapse-expand-protect" : [
278
278
{
279
279
icon : "compress" ,
280
- label : "Collapse" ,
280
+ label : jupyter . commands . cells_collapse_menu ,
281
281
name : "cell-collapse" ,
282
282
children : [
283
283
"hide input" ,
@@ -290,7 +290,7 @@ const JUPYTER_MENUS = {
290
290
} ,
291
291
{
292
292
icon : "expand-arrows" ,
293
- label : "Expand" ,
293
+ label : jupyter . commands . cells_expand_menu ,
294
294
name : "cell-expand" ,
295
295
children : [
296
296
"show input" ,
@@ -303,23 +303,23 @@ const JUPYTER_MENUS = {
303
303
} ,
304
304
{
305
305
icon : "lock" ,
306
- label : "Protect" ,
306
+ label : jupyter . commands . cells_protect_menu ,
307
307
name : "cell-protect" ,
308
308
children : [ "write protect" , "delete protect" ] ,
309
309
} ,
310
310
{
311
311
icon : "lock-open" ,
312
- label : "Remove Protection" ,
313
- button : "Unlock" ,
312
+ label : jupyter . commands . cells_unlock_menu ,
313
+ button : jupyter . commands . cells_unlock_menu_button ,
314
314
name : "cell-remove-protect" ,
315
315
children : [ "remove write protect" , "remove delete protect" ] ,
316
316
} ,
317
317
] ,
318
318
"format-cells" : [
319
319
{
320
320
icon : FORMAT_SOURCE_ICON ,
321
- label : "Format Cells" ,
322
- button : "Format" ,
321
+ label : jupyter . commands . format_cells_menu ,
322
+ button : jupyter . commands . format_cells_menu_button ,
323
323
name : "cell-format" ,
324
324
children : [ "format cells" , "format all cells" ] ,
325
325
} ,
@@ -333,8 +333,8 @@ const JUPYTER_MENUS = {
333
333
components : [
334
334
{
335
335
icon : "tool" ,
336
- button : "Toolbars" ,
337
- label : "Cell Toolbar" ,
336
+ button : jupyter . commands . view_toolbars_menu_button ,
337
+ label : jupyter . commands . view_toolbars_menu ,
338
338
name : "cell-toolbar" ,
339
339
children : [
340
340
"cell toolbar none" ,
@@ -346,7 +346,7 @@ const JUPYTER_MENUS = {
346
346
] ,
347
347
} ,
348
348
{
349
- label : "Line Numbers" ,
349
+ label : labels . line_numbers ,
350
350
name : "line-numbers" ,
351
351
icon : "list-ol" ,
352
352
children : [
@@ -356,7 +356,7 @@ const JUPYTER_MENUS = {
356
356
] ,
357
357
} ,
358
358
{
359
- label : "Code Folding" ,
359
+ label : labels . code_folding ,
360
360
name : "code-folding" ,
361
361
icon : "angle-right" ,
362
362
children : [ "show code folding" , "hide code folding" ] ,
@@ -372,7 +372,7 @@ const JUPYTER_MENUS = {
372
372
"run current cell and select next" ,
373
373
{
374
374
label : jupyter . editor . run_selected_cells ,
375
- button : "Run" ,
375
+ button : menu . run ,
376
376
name : "run-selected-cells" ,
377
377
icon : "play-square" ,
378
378
children : [
@@ -383,7 +383,7 @@ const JUPYTER_MENUS = {
383
383
} ,
384
384
{
385
385
label : jupyter . editor . run_all_cells ,
386
- button : "Run" ,
386
+ button : menu . run ,
387
387
name : "run-all-cells" ,
388
388
icon : "forward" ,
389
389
children : [
@@ -405,8 +405,8 @@ const JUPYTER_MENUS = {
405
405
"kernel-control" : [ "interrupt kernel" ] ,
406
406
"restart-kernel" : [
407
407
{
408
- label : "Restart Kernel" ,
409
- button : "Kernel" ,
408
+ label : jupyter . commands . restart_kernel_noconf_menu ,
409
+ button : menu . kernel ,
410
410
name : "restart" ,
411
411
icon : "reload" ,
412
412
children : [
0 commit comments