|
@@ -1,10 +1,6 @@
|
|
|
// Copyright (c) Jupyter Development Team.
|
|
|
// Distributed under the terms of the Modified BSD License.
|
|
|
|
|
|
-import {
|
|
|
- each
|
|
|
-} from 'phosphor/lib/algorithm/iteration';
|
|
|
-
|
|
|
import {
|
|
|
AttachedProperty
|
|
|
} from 'phosphor/lib/core/properties';
|
|
@@ -109,15 +105,7 @@ function activateEditorHandler(app: JupyterLab, registry: IDocumentRegistry, mai
|
|
|
widget.title.icon = `${PORTRAIT_ICON_CLASS} ${EDITOR_ICON_CLASS}`;
|
|
|
tracker.add(widget);
|
|
|
});
|
|
|
- registry.addWidgetFactory(widgetFactory,
|
|
|
- {
|
|
|
- fileExtensions: ['*'],
|
|
|
- displayName: 'Editor',
|
|
|
- modelName: 'text',
|
|
|
- defaultFor: ['*'],
|
|
|
- preferKernel: false,
|
|
|
- canStartKernel: false
|
|
|
- });
|
|
|
+ registry.addWidgetFactory(widgetFactory);
|
|
|
|
|
|
mainMenu.addMenu(createMenu(app), {rank: 30});
|
|
|
|