|
@@ -102,7 +102,9 @@ const SKIP_CSS: Dict<string[]> = {
|
|
|
'@lumino/virtualdom',
|
|
|
'@lumino/widgets'
|
|
|
],
|
|
|
+ '@jupyterlab/codemirror-extension': ['codemirror'],
|
|
|
'@jupyterlab/completer': ['@jupyterlab/codeeditor'],
|
|
|
+ '@jupyterlab/debugger': ['codemirror'],
|
|
|
'@jupyterlab/docmanager': ['@jupyterlab/statusbar'], // Statusbar styles should not be used by status reporters
|
|
|
'@jupyterlab/docregistry': [
|
|
|
'@jupyterlab/codeeditor', // Only used for model
|
|
@@ -114,7 +116,8 @@ const SKIP_CSS: Dict<string[]> = {
|
|
|
'@jupyterlab/codeeditor',
|
|
|
'@jupyterlab/codemirror',
|
|
|
'@jupyterlab/fileeditor',
|
|
|
- '@jupyterlab/notebook'
|
|
|
+ '@jupyterlab/notebook',
|
|
|
+ 'codemirror'
|
|
|
],
|
|
|
'@jupyterlab/filebrowser': ['@jupyterlab/statusbar'],
|
|
|
'@jupyterlab/fileeditor': ['@jupyterlab/statusbar'],
|