@@ -18,13 +18,13 @@ import { NotebookPanel } from '@jupyterlab/notebook';
1818import { ServiceManager } from '@jupyterlab/services' ;
1919import { JupyterLabAppProps } from './JupyterLabApp' ;
2020
21- type Plugin = JupyterFrontEndPlugin < any , any , any > & {
21+ export type Plugin = JupyterFrontEndPlugin < any , any , any > & {
2222 service : any ;
2323} ;
2424
25- type Plugins = Map < string , Plugin > ;
25+ export type Plugins = Map < string , Plugin > ;
2626
27- type Props = JupyterLabAppProps & {
27+ export type JupyterLabAppAdapterProps = JupyterLabAppProps & {
2828 serviceManager : ServiceManager . IManager ;
2929 collaborative ?: boolean ;
3030} ;
@@ -36,7 +36,7 @@ export class JupyterLabAppAdapter {
3636 private _ready : Promise < void > ;
3737 private _readyResolve : ( ) => void ;
3838
39- constructor ( props : Props , jupyterlab ?: JupyterLab ) {
39+ constructor ( props : JupyterLabAppAdapterProps , jupyterlab ?: JupyterLab ) {
4040 if ( jupyterlab ) {
4141 this . _jupyterLab = jupyterlab ;
4242 this . _ready = new Promise ( ( resolve , _ ) => {
@@ -52,7 +52,7 @@ export class JupyterLabAppAdapter {
5252 this . load ( props ) ;
5353 }
5454
55- private async load ( props : Props ) {
55+ private async load ( props : JupyterLabAppAdapterProps ) {
5656 const {
5757 disabledPlugins,
5858 hostId,
0 commit comments