@@ -78,7 +78,7 @@ function activate(
78
78
browserFactory : IFileBrowserFactory ,
79
79
restorer : ILayoutRestorer | null ,
80
80
menu : IMainMenu ,
81
- palette : ICommandPalette ,
81
+ palette : ICommandPalette | null ,
82
82
launcher : ILauncher | null
83
83
) : IDrawioTracker {
84
84
const { commands } = app ;
@@ -158,19 +158,26 @@ function activate(
158
158
tracker . currentWidget === app . shell . currentWidget ,
159
159
execute : ( ) => {
160
160
const wdg = app . shell . currentWidget as DrawIODocumentWidget ;
161
- const name = wdg . context . path . split ( '/' ) . pop ( ) . split ( '.' ) [ 0 ] + ".svg" ;
162
- let path = wdg . context . path . split ( '/' ) . slice ( 0 , - 1 ) . join ( ) ;
163
-
161
+ const name =
162
+ wdg . context . path
163
+ . split ( '/' )
164
+ . pop ( )
165
+ . split ( '.' ) [ 0 ] + '.svg' ;
166
+ const path = wdg . context . path
167
+ . split ( '/' )
168
+ . slice ( 0 , - 1 )
169
+ . join ( ) ;
170
+
164
171
commands
165
172
. execute ( 'docmanager:new-untitled' , {
166
173
name,
167
174
path,
168
175
type : 'file' ,
169
176
ext : '.svg'
170
177
} )
171
- . then ( model => {
172
- model . name = name
173
- model . path = path ? path + "/" + name : name ;
178
+ . then ( model => {
179
+ model . name = name ;
180
+ model . path = path ? path + '/' + name : name ;
174
181
model . content = wdg . getSVG ( ) ;
175
182
model . format = 'text' ;
176
183
app . serviceManager . contents . save ( model . path , model ) ;
@@ -211,13 +218,13 @@ function addMenus(
211
218
tracker : IDrawioTracker
212
219
) : void {
213
220
const diagram = new JupyterLabMenu ( { commands } ) ;
214
- diagram . menu . title . label = 'Diagram' ;
221
+ diagram . title . label = 'Diagram' ;
215
222
216
223
// FILE MENU
217
224
// Add new text file creation to the file menu.
218
225
menu . fileMenu . newMenu . addGroup ( [ { command : 'drawio:create-new' } ] , 40 ) ;
219
226
const fileMenu = new JupyterLabMenu ( { commands } ) ;
220
- fileMenu . menu . title . label = 'File' ;
227
+ fileMenu . title . label = 'File' ;
221
228
fileMenu . addGroup ( [ { command : 'drawio:create-new' } ] , 0 ) ;
222
229
fileMenu . addGroup (
223
230
[
@@ -236,7 +243,7 @@ function addMenus(
236
243
} as any ) ;
237
244
238
245
const editMenu = new JupyterLabMenu ( { commands } ) ;
239
- editMenu . menu . title . label = 'Edit' ;
246
+ editMenu . title . label = 'Edit' ;
240
247
editMenu . addGroup (
241
248
[ { command : 'drawio:command/undo' } , { command : 'drawio:command/redo' } ] ,
242
249
0
@@ -280,7 +287,7 @@ function addMenus(
280
287
281
288
// View MENU
282
289
const viewMenu = new JupyterLabMenu ( { commands } ) ;
283
- viewMenu . menu . title . label = 'View' ;
290
+ viewMenu . title . label = 'View' ;
284
291
viewMenu . addGroup (
285
292
[
286
293
{ command : 'drawio:command/formatPanel' } ,
@@ -325,7 +332,7 @@ function addMenus(
325
332
326
333
// Arrange MENU
327
334
const arrangeMenu = new JupyterLabMenu ( { commands } ) ;
328
- arrangeMenu . menu . title . label = 'Arrange' ;
335
+ arrangeMenu . title . label = 'Arrange' ;
329
336
arrangeMenu . addGroup (
330
337
[
331
338
{ command : 'drawio:command/toFront' } ,
@@ -335,22 +342,22 @@ function addMenus(
335
342
) ;
336
343
337
344
const direction = new JupyterLabMenu ( { commands } ) ;
338
- direction . menu . title . label = 'Direction' ;
345
+ direction . title . label = 'Direction' ;
339
346
direction . addGroup (
340
347
[ { command : 'drawio:command/flipH' } , { command : 'drawio:command/flipV' } ] ,
341
348
0
342
349
) ;
343
350
direction . addGroup ( [ { command : 'drawio:command/rotation' } ] , 1 ) ;
344
351
arrangeMenu . addGroup (
345
352
[
346
- { type : 'submenu' , submenu : direction . menu } ,
353
+ { type : 'submenu' , submenu : direction } ,
347
354
{ command : 'drawio:command/turn' }
348
355
] ,
349
356
1
350
357
) ;
351
358
352
359
const align = new JupyterLabMenu ( { commands } ) ;
353
- align . menu . title . label = 'Diagram Align' ;
360
+ align . title . label = 'Diagram Align' ;
354
361
align . addGroup (
355
362
[
356
363
{ command : 'drawio:command/alignCellsLeft' } ,
@@ -369,7 +376,7 @@ function addMenus(
369
376
) ;
370
377
371
378
const distribute = new JupyterLabMenu ( { commands } ) ;
372
- distribute . menu . title . label = 'Distribute' ;
379
+ distribute . title . label = 'Distribute' ;
373
380
distribute . addGroup (
374
381
[
375
382
{ command : 'drawio:command/horizontal' } ,
@@ -379,14 +386,14 @@ function addMenus(
379
386
) ;
380
387
arrangeMenu . addGroup (
381
388
[
382
- { type : 'submenu' , submenu : align . menu } ,
383
- { type : 'submenu' , submenu : distribute . menu }
389
+ { type : 'submenu' , submenu : align } ,
390
+ { type : 'submenu' , submenu : distribute }
384
391
] ,
385
392
2
386
393
) ;
387
394
388
395
const navigation = new JupyterLabMenu ( { commands } ) ;
389
- navigation . menu . title . label = 'Navigation' ;
396
+ navigation . title . label = 'Navigation' ;
390
397
navigation . addGroup ( [ { command : 'drawio:command/home' } ] , 0 ) ;
391
398
navigation . addGroup (
392
399
[
@@ -405,7 +412,7 @@ function addMenus(
405
412
navigation . addGroup ( [ { command : 'drawio:command/collapsible' } ] , 3 ) ;
406
413
407
414
const insert = new JupyterLabMenu ( { commands } ) ;
408
- insert . menu . title . label = 'Insert' ;
415
+ insert . title . label = 'Insert' ;
409
416
insert . addGroup (
410
417
[
411
418
{ command : 'drawio:command/insertLink' } ,
@@ -415,7 +422,7 @@ function addMenus(
415
422
) ;
416
423
417
424
const layout = new JupyterLabMenu ( { commands } ) ;
418
- layout . menu . title . label = 'Layout' ;
425
+ layout . title . label = 'Layout' ;
419
426
layout . addGroup (
420
427
[
421
428
{ command : 'drawio:command/horizontalFlow' } ,
@@ -440,9 +447,9 @@ function addMenus(
440
447
) ;
441
448
arrangeMenu . addGroup (
442
449
[
443
- { type : 'submenu' , submenu : navigation . menu } ,
444
- { type : 'submenu' , submenu : insert . menu } ,
445
- { type : 'submenu' , submenu : layout . menu }
450
+ { type : 'submenu' , submenu : navigation } ,
451
+ { type : 'submenu' , submenu : insert } ,
452
+ { type : 'submenu' , submenu : layout }
446
453
] ,
447
454
3
448
455
) ;
@@ -466,7 +473,7 @@ function addMenus(
466
473
467
474
// Extras MENU
468
475
const extrasMenu = new JupyterLabMenu ( { commands } ) ;
469
- extrasMenu . menu . title . label = 'Extras' ;
476
+ extrasMenu . title . label = 'Extras' ;
470
477
extrasMenu . addGroup (
471
478
[
472
479
{ command : 'drawio:command/copyConnect' } ,
@@ -478,16 +485,16 @@ function addMenus(
478
485
479
486
diagram . addGroup (
480
487
[
481
- { type : 'submenu' , submenu : fileMenu . menu } ,
482
- { type : 'submenu' , submenu : editMenu . menu } ,
483
- { type : 'submenu' , submenu : viewMenu . menu } ,
484
- { type : 'submenu' , submenu : arrangeMenu . menu } ,
485
- { type : 'submenu' , submenu : extrasMenu . menu } ,
488
+ { type : 'submenu' , submenu : fileMenu } ,
489
+ { type : 'submenu' , submenu : editMenu } ,
490
+ { type : 'submenu' , submenu : viewMenu } ,
491
+ { type : 'submenu' , submenu : arrangeMenu } ,
492
+ { type : 'submenu' , submenu : extrasMenu } ,
486
493
{ command : 'drawio:command/about' }
487
494
] ,
488
495
0
489
496
) ;
490
- menu . addMenu ( diagram . menu , { rank : 60 } ) ;
497
+ menu . addMenu ( diagram , { rank : 60 } ) ;
491
498
}
492
499
493
500
function addCommands ( app : JupyterFrontEnd , tracker : IDrawioTracker ) : void {
0 commit comments