Function activateWidgetExtension

python/jupyter-widget/src/plugin.ts:28–34

* Activate the widget extension.

(app: Application<Widget>, registry: IJupyterWidgetRegistry)

 * Activate the widget extension.
 */
function activateWidgetExtension(app: Application<Widget>, registry: IJupyterWidgetRegistry): void {
    registry.registerWidget({
        name: MODULE_NAME,
        version: MODULE_VERSION,
        exports: widgetExports,
    });
}