|
@@ -10,13 +10,9 @@ import {
|
|
|
} from '@jupyterlab/docregistry';
|
|
|
|
|
|
import {
|
|
|
- CodeEditor, IEditorServices, IEditorMimeTypeService
|
|
|
+ CodeEditor, IEditorServices, IEditorMimeTypeService, CodeEditorWidget
|
|
|
} from '@jupyterlab/codeeditor';
|
|
|
|
|
|
-import {
|
|
|
- CodeEditorWidget
|
|
|
-} from '@jupyterlab/codeeditor/widget';
|
|
|
-
|
|
|
|
|
|
/**
|
|
|
* The class name added to a dirty widget.
|