import { DOMWidgetModel , WidgetModel } from '@jupyter-widgets/base' ; import { DescriptionModel } from './widget_description' ; import { JUPYTER_CONTROLS_VERSION } from './version' ; export class CoreWidgetModel extends WidgetModel { defaults ( ) { return { ... super . defaults ( ) , _model_name : 'CoreWidgetModel' , _view_module : '@jupyter-widgets/controls' , _model_module : '@jupyter-widgets/controls' , _view_module_version : JUPYTER_CONTROLS_VERSION , _model_module_version : JUPYTER_CONTROLS_VERSION , } ; } } export class CoreDOMWidgetModel extends DOMWidgetModel { defaults ( ) { return { ... super . defaults ( ) , _model_name : 'CoreDOMWidgetModel' , _view_module : '@jupyter-widgets/controls' , _model_module : '@jupyter-widgets/controls' , _view_module_version : JUPYTER_CONTROLS_VERSION , _model_module_version : JUPYTER_CONTROLS_VERSION , } ; } } export class CoreDescriptionModel extends DescriptionModel { defaults ( ) { return { ... super . defaults ( ) , _model_name : 'CoreDescriptionModel' , _view_module : '@jupyter-widgets/controls' , _model_module : '@jupyter-widgets/controls' , _view_module_version : JUPYTER_CONTROLS_VERSION , _model_module_version : JUPYTER_CONTROLS_VERSION , } ; } }