@@ -28,7 +28,7 @@ import { IMainMenu } from '@jupyterlab/mainmenu';
2828
2929import { RankedMenu } from '@jupyterlab/ui-components' ;
3030
31- import { IFileBrowserFactory , IDefaultFileBrowser } from '@jupyterlab/filebrowser' ;
31+ import { IDefaultFileBrowser } from '@jupyterlab/filebrowser' ;
3232
3333import { ILauncher } from '@jupyterlab/launcher' ;
3434
@@ -67,7 +67,7 @@ export const IDrawioTracker = new Token<IDrawioTracker>('drawio/tracki');
6767const extension : JupyterFrontEndPlugin < IDrawioTracker > = {
6868 id : '@jupyterlab/drawio-extension:plugin' ,
6969 autoStart : true ,
70- requires : [ IFileBrowserFactory , ILayoutRestorer , IMainMenu , ICommandPalette ] ,
70+ requires : [ IDefaultFileBrowser , ILayoutRestorer , IMainMenu , ICommandPalette ] ,
7171 optional : [ ILauncher ] ,
7272 provides : IDrawioTracker ,
7373 activate
@@ -82,15 +82,14 @@ namespace CommandIDs {
8282
8383function activate (
8484 app : JupyterFrontEnd ,
85- // browserFactory: IFileBrowserFactory,
8685 defaultBrowser :IDefaultFileBrowser ,
8786 restorer : ILayoutRestorer ,
8887 menu : IMainMenu ,
8988 palette : ICommandPalette ,
9089 launcher : ILauncher | null
9190) : IDrawioTracker {
9291 const { commands } = app ;
93-
92+ console . log ( 'initialise drawio' )
9493 const namespace = 'drawio' ;
9594 const tracker = new WidgetTracker < DrawIODocumentWidget > ( { namespace } ) ;
9695
0 commit comments