@@ -91,7 +91,6 @@ async function main() {
91
91
'@jupyterlab/apputils-extension:toolbar-registry'
92
92
] . includes ( id )
93
93
) ,
94
- require ( '@jupyterlab/celltags-extension' ) ,
95
94
require ( '@jupyterlab/codemirror-extension' ) . default . filter ( ( { id } ) =>
96
95
[
97
96
'@jupyterlab/codemirror-extension:services' ,
@@ -137,8 +136,6 @@ async function main() {
137
136
'@jupyterlab/notebook-extension:code-console' ,
138
137
'@jupyterlab/notebook-extension:export' ,
139
138
'@jupyterlab/notebook-extension:factory' ,
140
- '@jupyterlab/notebook-extension:toc' ,
141
- '@jupyterlab/notebook-extension:tools' ,
142
139
'@jupyterlab/notebook-extension:tracker' ,
143
140
'@jupyterlab/notebook-extension:widget-factory'
144
141
] . includes ( id )
@@ -149,12 +146,6 @@ async function main() {
149
146
require ( '@jupyterlab/terminal-extension' ) ,
150
147
require ( '@jupyterlab/theme-light-extension' ) ,
151
148
require ( '@jupyterlab/theme-dark-extension' ) ,
152
- require ( '@jupyterlab/toc-extension' ) . default . filter ( ( { id } ) =>
153
- [
154
- '@jupyterlab/toc-extension:registry' ,
155
- '@jupyterlab/toc-extension:tracker'
156
- ] . includes ( id )
157
- ) ,
158
149
require ( '@jupyterlab/translation-extension' ) ,
159
150
// Add the "Hub Control Panel" menu option when running in JupyterHub
160
151
require ( '@jupyterlab/user-extension' ) ,
@@ -184,11 +175,20 @@ async function main() {
184
175
}
185
176
case 'notebooks' : {
186
177
baseMods = baseMods . concat ( [
178
+ require ( '@jupyterlab/celltags-extension' ) ,
187
179
require ( '@jupyterlab/cell-toolbar-extension' ) ,
188
180
require ( '@jupyterlab/notebook-extension' ) . default . filter ( ( { id } ) =>
189
181
[
190
182
'@jupyterlab/notebook-extension:completer' ,
191
- '@jupyterlab/notebook-extension:search'
183
+ '@jupyterlab/notebook-extension:search' ,
184
+ '@jupyterlab/notebook-extension:toc' ,
185
+ '@jupyterlab/notebook-extension:tools'
186
+ ] . includes ( id )
187
+ ) ,
188
+ require ( '@jupyterlab/toc-extension' ) . default . filter ( ( { id } ) =>
189
+ [
190
+ '@jupyterlab/toc-extension:registry' ,
191
+ '@jupyterlab/toc-extension:tracker'
192
192
] . includes ( id )
193
193
) ,
194
194
require ( '@jupyterlab/tooltip-extension' ) . default . filter ( ( { id } ) =>
0 commit comments