#NEWLINE# @ decorate_constructor_parameter_types ( [ str , int , int , int ] ) #NEWLINE# def __init__( self , default_value = '' , min = 0 , max = 10000 , step = 1 , **kwargs ) : #NEWLINE# #INDENT# '\n        Args:\n            default_value (str):\n            min (int):\n            max (int):\n            step (int):\n            kwargs: See Widget.__init__()\n        ' #NEWLINE# super ( Slider , self ) . __init__ ( 'range' , default_value , ** kwargs ) #NEWLINE# self . attributes [ 'min' ] = str ( min ) #NEWLINE# self . attributes [ 'max' ] = str ( max ) #NEWLINE# self . attributes [ 'step' ] = str ( step )