|
@@ -124,14 +124,10 @@ function activateFileBrowser(app: Application, provider: JupyterServices, regist
|
|
app.commands.add([
|
|
app.commands.add([
|
|
{
|
|
{
|
|
id: newTextFileId,
|
|
id: newTextFileId,
|
|
-<<<<<<< HEAD
|
|
|
|
handler: () => {
|
|
handler: () => {
|
|
let icon = `${PORTRAIT_ICON_CLASS} ${TEXTEDITOR_ICON_CLASS}`;
|
|
let icon = `${PORTRAIT_ICON_CLASS} ${TEXTEDITOR_ICON_CLASS}`;
|
|
- fbWidget.createNew('file').then(widget => widget.title.icon = icon);
|
|
|
|
|
|
+ fbWidget.createNew({ type: 'file' }).then(widget => widget.title.icon = icon);
|
|
}
|
|
}
|
|
-=======
|
|
|
|
- handler: () => fbWidget.createNew({ type: 'file' })
|
|
|
|
->>>>>>> e8dce4a... Update jupyter-js-services and clean up interfaces
|
|
|
|
}
|
|
}
|
|
]);
|
|
]);
|
|
|
|
|