|
@@ -62,7 +62,7 @@ import {
|
|
} from '../services';
|
|
} from '../services';
|
|
|
|
|
|
import {
|
|
import {
|
|
- IConsoleTracker, ConsolePanel, ConsoleContent
|
|
|
|
|
|
+ IConsoleTracker, ConsolePanel
|
|
} from './index';
|
|
} from './index';
|
|
|
|
|
|
|
|
|
|
@@ -80,7 +80,7 @@ const trackerPlugin: JupyterLabPlugin<IConsoleTracker> = {
|
|
IInspector,
|
|
IInspector,
|
|
ICommandPalette,
|
|
ICommandPalette,
|
|
IPathTracker,
|
|
IPathTracker,
|
|
- ConsoleContent.IRenderer,
|
|
|
|
|
|
+ ConsolePanel.IRenderer,
|
|
ILayoutRestorer
|
|
ILayoutRestorer
|
|
],
|
|
],
|
|
activate: activateConsole,
|
|
activate: activateConsole,
|
|
@@ -92,13 +92,13 @@ const trackerPlugin: JupyterLabPlugin<IConsoleTracker> = {
|
|
* The console widget renderer.
|
|
* The console widget renderer.
|
|
*/
|
|
*/
|
|
export
|
|
export
|
|
-const rendererPlugin: JupyterLabPlugin<ConsoleContent.IRenderer> = {
|
|
|
|
|
|
+const rendererPlugin: JupyterLabPlugin<ConsolePanel.IRenderer> = {
|
|
id: 'jupyter.services.console-renderer',
|
|
id: 'jupyter.services.console-renderer',
|
|
- provides: ConsoleContent.IRenderer,
|
|
|
|
|
|
+ provides: ConsolePanel.IRenderer,
|
|
requires: [IEditorServices],
|
|
requires: [IEditorServices],
|
|
autoStart: true,
|
|
autoStart: true,
|
|
activate: (app: JupyterLab, editorServices: IEditorServices) => {
|
|
activate: (app: JupyterLab, editorServices: IEditorServices) => {
|
|
- return new ConsoleContent.Renderer({ editorServices });
|
|
|
|
|
|
+ return new ConsolePanel.Renderer({ editorServices });
|
|
}
|
|
}
|
|
};
|
|
};
|
|
|
|
|
|
@@ -133,7 +133,7 @@ interface ICreateConsoleArgs extends JSONObject {
|
|
/**
|
|
/**
|
|
* Activate the console extension.
|
|
* Activate the console extension.
|
|
*/
|
|
*/
|
|
-function activateConsole(app: JupyterLab, services: IServiceManager, rendermime: IRenderMime, mainMenu: IMainMenu, inspector: IInspector, palette: ICommandPalette, pathTracker: IPathTracker, renderer: ConsoleContent.IRenderer, layout: ILayoutRestorer): IConsoleTracker {
|
|
|
|
|
|
+function activateConsole(app: JupyterLab, services: IServiceManager, rendermime: IRenderMime, mainMenu: IMainMenu, inspector: IInspector, palette: ICommandPalette, pathTracker: IPathTracker, renderer: ConsolePanel.IRenderer, layout: ILayoutRestorer): IConsoleTracker {
|
|
let manager = services.sessions;
|
|
let manager = services.sessions;
|
|
let { commands, keymap } = app;
|
|
let { commands, keymap } = app;
|
|
let category = 'Console';
|
|
let category = 'Console';
|
|
@@ -343,9 +343,7 @@ function activateConsole(app: JupyterLab, services: IServiceManager, rendermime:
|
|
* The manager must be ready before calling this function.
|
|
* The manager must be ready before calling this function.
|
|
*/
|
|
*/
|
|
function createConsole(session: Session.ISession, name: string): void {
|
|
function createConsole(session: Session.ISession, name: string): void {
|
|
- let panel = new ConsolePanel({
|
|
|
|
- session, rendermime: rendermime.clone(), renderer
|
|
|
|
- });
|
|
|
|
|
|
+ let panel = renderer.createConsole(rendermime.clone(), session);
|
|
let specs = manager.specs;
|
|
let specs = manager.specs;
|
|
let displayName = specs.kernelspecs[session.kernel.name].display_name;
|
|
let displayName = specs.kernelspecs[session.kernel.name].display_name;
|
|
let captionOptions: Private.ICaptionOptions = {
|
|
let captionOptions: Private.ICaptionOptions = {
|