|
@@ -30,6 +30,10 @@ import {
|
|
IInspector
|
|
IInspector
|
|
} from '../inspector';
|
|
} from '../inspector';
|
|
|
|
|
|
|
|
+import {
|
|
|
|
+ ILayoutRestorer
|
|
|
|
+} from '../layoutrestorer';
|
|
|
|
+
|
|
import {
|
|
import {
|
|
IRenderMime
|
|
IRenderMime
|
|
} from '../rendermime';
|
|
} from '../rendermime';
|
|
@@ -126,7 +130,8 @@ const notebookTrackerProvider: JupyterLabPlugin<INotebookTracker> = {
|
|
ICommandPalette,
|
|
ICommandPalette,
|
|
IInspector,
|
|
IInspector,
|
|
NotebookPanel.IRenderer,
|
|
NotebookPanel.IRenderer,
|
|
- IStateDB
|
|
|
|
|
|
+ IStateDB,
|
|
|
|
+ ILayoutRestorer
|
|
],
|
|
],
|
|
activate: activateNotebookHandler,
|
|
activate: activateNotebookHandler,
|
|
autoStart: true
|
|
autoStart: true
|
|
@@ -136,7 +141,7 @@ const notebookTrackerProvider: JupyterLabPlugin<INotebookTracker> = {
|
|
/**
|
|
/**
|
|
* Activate the notebook handler extension.
|
|
* Activate the notebook handler extension.
|
|
*/
|
|
*/
|
|
-function activateNotebookHandler(app: JupyterLab, registry: IDocumentRegistry, services: IServiceManager, rendermime: IRenderMime, clipboard: IClipboard, mainMenu: IMainMenu, palette: ICommandPalette, inspector: IInspector, renderer: NotebookPanel.IRenderer, state: IStateDB): INotebookTracker {
|
|
|
|
|
|
+function activateNotebookHandler(app: JupyterLab, registry: IDocumentRegistry, services: IServiceManager, rendermime: IRenderMime, clipboard: IClipboard, mainMenu: IMainMenu, palette: ICommandPalette, inspector: IInspector, renderer: NotebookPanel.IRenderer, state: IStateDB, layout: ILayoutRestorer): INotebookTracker {
|
|
const factory = new NotebookWidgetFactory({
|
|
const factory = new NotebookWidgetFactory({
|
|
name: FACTORY,
|
|
name: FACTORY,
|
|
fileExtensions: ['.ipynb'],
|
|
fileExtensions: ['.ipynb'],
|
|
@@ -151,7 +156,7 @@ function activateNotebookHandler(app: JupyterLab, registry: IDocumentRegistry, s
|
|
|
|
|
|
const tracker = new NotebookTracker({
|
|
const tracker = new NotebookTracker({
|
|
restore: {
|
|
restore: {
|
|
- state,
|
|
|
|
|
|
+ state, layout,
|
|
command: 'file-operations:open',
|
|
command: 'file-operations:open',
|
|
args: widget => ({ path: widget.context.path, factory: FACTORY }),
|
|
args: widget => ({ path: widget.context.path, factory: FACTORY }),
|
|
name: widget => widget.context.path,
|
|
name: widget => widget.context.path,
|