|
@@ -5,16 +5,19 @@ import {
|
|
createTerminalSession
|
|
createTerminalSession
|
|
} from 'jupyter-js-services';
|
|
} from 'jupyter-js-services';
|
|
|
|
|
|
|
|
+import {
|
|
|
|
+ TerminalWidget
|
|
|
|
+} from 'jupyterlab/lib/terminal';
|
|
|
|
+
|
|
import {
|
|
import {
|
|
DockPanel
|
|
DockPanel
|
|
-} from 'phosphor-dockpanel';
|
|
|
|
|
|
+} from 'phosphor/lib/ui/dockpanel';
|
|
|
|
|
|
import {
|
|
import {
|
|
- TerminalWidget
|
|
|
|
-} from 'jupyterlab/lib/terminal';
|
|
|
|
|
|
+ Widget
|
|
|
|
+} from 'phosphor/lib/ui/widget';
|
|
|
|
|
|
-import 'jupyterlab/lib/index.css';
|
|
|
|
-import 'jupyterlab/lib/theme.css';
|
|
|
|
|
|
+import 'jupyterlab/lib/default-theme/index.css';
|
|
|
|
|
|
|
|
|
|
function main(): void {
|
|
function main(): void {
|
|
@@ -33,10 +36,10 @@ function main(): void {
|
|
term1.title.closable = true;
|
|
term1.title.closable = true;
|
|
term2.title.closable = true;
|
|
term2.title.closable = true;
|
|
let dock = new DockPanel();
|
|
let dock = new DockPanel();
|
|
- dock.insertTabBefore(term1);
|
|
|
|
- dock.insertTabBefore(term2);
|
|
|
|
|
|
+ dock.addWidget(term1);
|
|
|
|
+ dock.addWidget(term2, { mode: 'tab-before' });
|
|
|
|
|
|
- dock.attach(document.body);
|
|
|
|
|
|
+ Widget.attach(dock, document.body);
|
|
dock.id = 'main';
|
|
dock.id = 'main';
|
|
|
|
|
|
window.onresize = () => dock.fit();
|
|
window.onresize = () => dock.fit();
|