|
@@ -10,7 +10,7 @@ import {
|
|
} from 'jupyter-js-services';
|
|
} from 'jupyter-js-services';
|
|
|
|
|
|
import {
|
|
import {
|
|
- RenderMime, IRenderer, MimeMap
|
|
|
|
|
|
+ RenderMime
|
|
} from 'jupyterlab/lib/rendermime';
|
|
} from 'jupyterlab/lib/rendermime';
|
|
|
|
|
|
import {
|
|
import {
|
|
@@ -74,7 +74,7 @@ function startApp(session: ISession) {
|
|
new LatexRenderer(),
|
|
new LatexRenderer(),
|
|
new TextRenderer()
|
|
new TextRenderer()
|
|
];
|
|
];
|
|
- let renderers: MimeMap<IRenderer<Widget>> = {};
|
|
|
|
|
|
+ let renderers: RenderMime.MimeMap<RenderMime.IRenderer<Widget>> = {};
|
|
let order: string[] = [];
|
|
let order: string[] = [];
|
|
for (let t of transformers) {
|
|
for (let t of transformers) {
|
|
for (let m of t.mimetypes) {
|
|
for (let m of t.mimetypes) {
|
|
@@ -82,7 +82,7 @@ function startApp(session: ISession) {
|
|
order.push(m);
|
|
order.push(m);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
- let rendermime = new RenderMime<Widget>(renderers, order);
|
|
|
|
|
|
+ let rendermime = new RenderMime<Widget>({ renderers, order });
|
|
|
|
|
|
let consolePanel = new ConsolePanel({ session, rendermime });
|
|
let consolePanel = new ConsolePanel({ session, rendermime });
|
|
consolePanel.title.text = TITLE;
|
|
consolePanel.title.text = TITLE;
|