|
|
|
|
@ -4,6 +4,7 @@
|
|
|
|
|
import {
|
|
|
|
|
ILabStatus,
|
|
|
|
|
IRouter,
|
|
|
|
|
ITreePathUpdater,
|
|
|
|
|
JupyterFrontEnd,
|
|
|
|
|
JupyterFrontEndPlugin,
|
|
|
|
|
Router
|
|
|
|
|
@ -16,7 +17,7 @@ import {
|
|
|
|
|
ICommandPalette
|
|
|
|
|
} from '@jupyterlab/apputils';
|
|
|
|
|
|
|
|
|
|
import { PageConfig, PathExt } from '@jupyterlab/coreutils';
|
|
|
|
|
import { PageConfig, PathExt, URLExt } from '@jupyterlab/coreutils';
|
|
|
|
|
|
|
|
|
|
import { IDocumentManager, renameDialog } from '@jupyterlab/docmanager';
|
|
|
|
|
|
|
|
|
|
@ -30,6 +31,10 @@ import { RetroApp, RetroShell, IRetroShell } from '@retrolab/application';
|
|
|
|
|
|
|
|
|
|
import { jupyterIcon, retroInlineIcon } from '@retrolab/ui-components';
|
|
|
|
|
|
|
|
|
|
import { PromiseDelegate } from '@lumino/coreutils';
|
|
|
|
|
|
|
|
|
|
import { DisposableDelegate, DisposableSet } from '@lumino/disposable';
|
|
|
|
|
|
|
|
|
|
import { Widget } from '@lumino/widgets';
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
@ -70,6 +75,11 @@ namespace CommandIDs {
|
|
|
|
|
* Open the tree page.
|
|
|
|
|
*/
|
|
|
|
|
export const openTree = 'application:open-tree';
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Resolve tree path
|
|
|
|
|
*/
|
|
|
|
|
export const resolveTree = 'application:resolve-tree';
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
@ -475,6 +485,91 @@ const translator: JupyterFrontEndPlugin<ITranslator> = {
|
|
|
|
|
provides: ITranslator
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* The default tree route resolver plugin.
|
|
|
|
|
*/
|
|
|
|
|
const tree: JupyterFrontEndPlugin<JupyterFrontEnd.ITreeResolver> = {
|
|
|
|
|
id: '@retrolab/application-extension:tree-resolver',
|
|
|
|
|
autoStart: true,
|
|
|
|
|
requires: [IRouter],
|
|
|
|
|
provides: JupyterFrontEnd.ITreeResolver,
|
|
|
|
|
activate: (
|
|
|
|
|
app: JupyterFrontEnd,
|
|
|
|
|
router: IRouter
|
|
|
|
|
): JupyterFrontEnd.ITreeResolver => {
|
|
|
|
|
const { commands } = app;
|
|
|
|
|
const set = new DisposableSet();
|
|
|
|
|
const delegate = new PromiseDelegate<JupyterFrontEnd.ITreeResolver.Paths>();
|
|
|
|
|
|
|
|
|
|
const treePattern = new RegExp('/retro(/tree/.*)?');
|
|
|
|
|
|
|
|
|
|
set.add(
|
|
|
|
|
commands.addCommand(CommandIDs.resolveTree, {
|
|
|
|
|
execute: (async (args: IRouter.ILocation) => {
|
|
|
|
|
if (set.isDisposed) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
const query = URLExt.queryStringToObject(args.search ?? '');
|
|
|
|
|
const browser = query['file-browser-path'] || '';
|
|
|
|
|
|
|
|
|
|
// Remove the file browser path from the query string.
|
|
|
|
|
delete query['file-browser-path'];
|
|
|
|
|
|
|
|
|
|
// Clean up artifacts immediately upon routing.
|
|
|
|
|
set.dispose();
|
|
|
|
|
|
|
|
|
|
delegate.resolve({ browser, file: PageConfig.getOption('treePath') });
|
|
|
|
|
}) as (args: any) => Promise<void>
|
|
|
|
|
})
|
|
|
|
|
);
|
|
|
|
|
set.add(
|
|
|
|
|
router.register({ command: CommandIDs.resolveTree, pattern: treePattern })
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
// If a route is handled by the router without the tree command being
|
|
|
|
|
// invoked, resolve to `null` and clean up artifacts.
|
|
|
|
|
const listener = () => {
|
|
|
|
|
if (set.isDisposed) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
set.dispose();
|
|
|
|
|
delegate.resolve(null);
|
|
|
|
|
};
|
|
|
|
|
router.routed.connect(listener);
|
|
|
|
|
set.add(
|
|
|
|
|
new DisposableDelegate(() => {
|
|
|
|
|
router.routed.disconnect(listener);
|
|
|
|
|
})
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
return { paths: delegate.promise };
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const treePathUpdater: JupyterFrontEndPlugin<ITreePathUpdater> = {
|
|
|
|
|
id: '@retrolab/application-extension:tree-updater',
|
|
|
|
|
requires: [IRouter],
|
|
|
|
|
provides: ITreePathUpdater,
|
|
|
|
|
activate: (app: JupyterFrontEnd, router: IRouter) => {
|
|
|
|
|
function updateTreePath(treePath: string) {
|
|
|
|
|
if (treePath !== PageConfig.getOption('treePath')) {
|
|
|
|
|
const path = URLExt.join(
|
|
|
|
|
PageConfig.getOption('baseUrl') || '/',
|
|
|
|
|
'retro',
|
|
|
|
|
'tree',
|
|
|
|
|
URLExt.encodeParts(treePath)
|
|
|
|
|
);
|
|
|
|
|
router.navigate(path, { skipRouting: true });
|
|
|
|
|
// Persist the new tree path to PageConfig as it is used elsewhere at runtime.
|
|
|
|
|
PageConfig.setOption('treePath', treePath);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return updateTreePath;
|
|
|
|
|
},
|
|
|
|
|
autoStart: true
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Zen mode plugin
|
|
|
|
|
*/
|
|
|
|
|
@ -552,6 +647,8 @@ const plugins: JupyterFrontEndPlugin<any>[] = [
|
|
|
|
|
title,
|
|
|
|
|
topVisibility,
|
|
|
|
|
translator,
|
|
|
|
|
tree,
|
|
|
|
|
treePathUpdater,
|
|
|
|
|
zen
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
|