|
@@ -12,7 +12,7 @@ import '../index.css';
|
|
|
|
|
|
import { DockPanel, Widget } from '@lumino/widgets';
|
|
|
|
|
|
-import { TerminalSession } from '@jupyterlab/services';
|
|
|
+import { TerminalManager } from '@jupyterlab/services';
|
|
|
|
|
|
import { Terminal } from '@jupyterlab/terminal';
|
|
|
|
|
@@ -28,12 +28,13 @@ async function main(): Promise<void> {
|
|
|
dock.fit();
|
|
|
});
|
|
|
|
|
|
- const s1 = await TerminalSession.startNew();
|
|
|
+ const manager = new TerminalManager();
|
|
|
+ const s1 = await manager.startNew();
|
|
|
const term1 = new Terminal(s1, { theme: 'light' });
|
|
|
term1.title.closable = true;
|
|
|
dock.addWidget(term1);
|
|
|
|
|
|
- const s2 = await TerminalSession.startNew();
|
|
|
+ const s2 = await manager.startNew();
|
|
|
const term2 = new Terminal(s2, { theme: 'dark' });
|
|
|
term2.title.closable = true;
|
|
|
dock.addWidget(term2, { mode: 'tab-before' });
|