import { ILayoutRestorer , IRouter , JupyterFrontEnd , JupyterFrontEndPlugin , } from "@jupyterlab/application" ; import { IDocumentManager } from "@jupyterlab/docmanager" ; import { IWindowResolver } from "@jupyterlab/apputils" ; import { constructFileTreeWidget } from "./filetree" ; import "../style/index.css" ; function activate ( app , paths , resolver , restorer , manager , router ) { console . log ( "JupyterLab extension jupyterlab_filetree is activated!" ) ; constructFileTreeWidget ( app , "" , "filetree-jupyterlab" , "left" , paths , resolver , restorer , manager , router ) ; } const extension = { activate , autoStart : true , id : "jupyterlab_filetree" , requires : [ JupyterFrontEnd . IPaths , IWindowResolver , ILayoutRestorer , IDocumentManager , IRouter , ] , } ; export default extension ;