import * as React from 'react'; import { IDocumentManager } from '@jupyterlab/docmanager'; import { Contents } from '@jupyterlab/services'; import type { XtralabFileBrowser } from './widget'; interface IFileBrowserProps { contentsManager: Contents.IManager; docManager: IDocumentManager; onOpenFile?: (serverPath: string) => void; /** * The host widget. Selection-change events are pushed up so context-menu * commands can react to what the user has selected. */ widget?: XtralabFileBrowser; } /** * Renders a `@pierre/trees` file tree backed by the Jupyter contents API. * * The Jupyter contents API only returns one directory level per request, so * the tree is populated lazily: the root is fetched on mount, and each * directory is fetched the first time the user expands it. Expansion is * detected by subscribing to the model and diffing against an in-memory load * state map. */ export declare function FileBrowserComponent(props: IFileBrowserProps): React.ReactElement; export {};