@@ -144,21 +144,21 @@ export function registerWidgetManager(
144
144
/**
145
145
* The widget manager provider.
146
146
*/
147
- export const managerPlugin : JupyterFrontEndPlugin < base . IJupyterWidgetRegistry > = {
148
- id : '@jupyter-widgets/jupyterlab-manager:plugin' ,
149
- requires : [ IRenderMimeRegistry ] ,
150
- optional : [
151
- INotebookTracker ,
152
- ISettingRegistry ,
153
- IMainMenu ,
154
- ILoggerRegistry ,
155
- ITranslator ,
156
- ] ,
157
- provides : base . IJupyterWidgetRegistry ,
158
- activate : activateWidgetExtension ,
159
- autoStart : true ,
160
- } ;
161
-
147
+ export const managerPlugin : JupyterFrontEndPlugin < base . IJupyterWidgetRegistry > =
148
+ {
149
+ id : '@jupyter-widgets/jupyterlab-manager:plugin' ,
150
+ requires : [ IRenderMimeRegistry ] ,
151
+ optional : [
152
+ INotebookTracker ,
153
+ ISettingRegistry ,
154
+ IMainMenu ,
155
+ ILoggerRegistry ,
156
+ ITranslator ,
157
+ ] ,
158
+ provides : base . IJupyterWidgetRegistry ,
159
+ activate : activateWidgetExtension ,
160
+ autoStart : true ,
161
+ } ;
162
162
163
163
function updateSettings ( settings : ISettingRegistry . ISettings ) : void {
164
164
SETTINGS . saveState = settings . get ( 'saveState' ) . composite as boolean ;
@@ -276,23 +276,24 @@ function activateWidgetExtension(
276
276
] ) ;
277
277
}
278
278
279
-
280
279
return {
281
280
registerWidget ( data : base . IWidgetRegistryData ) : void {
282
281
WIDGET_REGISTRY . push ( data ) ;
283
282
} ,
284
283
} ;
285
284
}
286
285
287
-
288
286
/**
289
287
* The base widgets.
290
288
*/
291
289
export const baseWidgetsPlugin : JupyterFrontEndPlugin < void > = {
292
290
id : `@jupyter-widgets/jupyterlab-manager:base-${ base . JUPYTER_WIDGETS_VERSION } ` ,
293
291
requires : [ base . IJupyterWidgetRegistry ] ,
294
292
autoStart : true ,
295
- activate : ( app : JupyterFrontEnd , registry : base . IJupyterWidgetRegistry ) : void => {
293
+ activate : (
294
+ app : JupyterFrontEnd ,
295
+ registry : base . IJupyterWidgetRegistry
296
+ ) : void => {
296
297
registry . registerWidget ( {
297
298
name : '@jupyter-widgets/base' ,
298
299
version : base . JUPYTER_WIDGETS_VERSION ,
@@ -308,18 +309,20 @@ export const baseWidgetsPlugin: JupyterFrontEndPlugin<void> = {
308
309
ErrorWidgetView : base . ErrorWidgetView ,
309
310
} ,
310
311
} ) ;
311
- }
312
+ } ,
312
313
} ;
313
314
314
-
315
315
/**
316
316
* The control widgets.
317
317
*/
318
318
export const controlWidgetsPlugin : JupyterFrontEndPlugin < void > = {
319
319
id : `@jupyter-widgets/jupyterlab-manager:controls-${ JUPYTER_CONTROLS_VERSION } ` ,
320
320
requires : [ base . IJupyterWidgetRegistry ] ,
321
321
autoStart : true ,
322
- activate : ( app : JupyterFrontEnd , registry : base . IJupyterWidgetRegistry ) : void => {
322
+ activate : (
323
+ app : JupyterFrontEnd ,
324
+ registry : base . IJupyterWidgetRegistry
325
+ ) : void => {
323
326
registry . registerWidget ( {
324
327
name : '@jupyter-widgets/controls' ,
325
328
version : JUPYTER_CONTROLS_VERSION ,
@@ -337,9 +340,9 @@ export const controlWidgetsPlugin: JupyterFrontEndPlugin<void> = {
337
340
'@jupyter-widgets/controls'
338
341
) ;
339
342
} ) ;
340
- }
343
+ } ,
341
344
} ) ;
342
- }
345
+ } ,
343
346
} ;
344
347
345
348
/**
@@ -349,16 +352,24 @@ export const outputWidgetPlugin: JupyterFrontEndPlugin<void> = {
349
352
id : `@jupyter-widgets/jupyterlab-manager:output-${ OUTPUT_WIDGET_VERSION } ` ,
350
353
requires : [ base . IJupyterWidgetRegistry ] ,
351
354
autoStart : true ,
352
- activate : ( app : JupyterFrontEnd , registry : base . IJupyterWidgetRegistry ) : void => {
355
+ activate : (
356
+ app : JupyterFrontEnd ,
357
+ registry : base . IJupyterWidgetRegistry
358
+ ) : void => {
353
359
registry . registerWidget ( {
354
360
name : '@jupyter-widgets/output' ,
355
361
version : OUTPUT_WIDGET_VERSION ,
356
- exports : { OutputModel, OutputView }
362
+ exports : { OutputModel, OutputView } ,
357
363
} ) ;
358
- }
364
+ } ,
359
365
} ;
360
366
361
- export default [ managerPlugin , baseWidgetsPlugin , controlWidgetsPlugin , outputWidgetPlugin ] ;
367
+ export default [
368
+ managerPlugin ,
369
+ baseWidgetsPlugin ,
370
+ controlWidgetsPlugin ,
371
+ outputWidgetPlugin ,
372
+ ] ;
362
373
namespace Private {
363
374
/**
364
375
* A private attached property for a widget manager.
0 commit comments