(self, widget)
Handle size changed
Handle size changed
Handle size changed
def on_handlesize_value_changed(self, widget):
        """Handle size changed"""
        value = widget.get_value()  # This one is rounded according to the UI.
        value = int(value)          # Cast to int.
        if value > 20:
            value = 20
        if value < 1:
            value = 1
        self.config['handle_size'] = value
        self.config.save()
        guiget = self.builder.get_object
        label_widget = guiget('handlesize_value_label')
        label_widget.set_text(str(value))
def on_handlesize_value_changed ( self , widget ) : value = widget . get_value ( ) # This one is rounded according to the UI. value = int ( value ) # Cast to int. if value > 20 : value = 20 if value < 1 : value = 1 self . config [ 'handle_size' ] = value self . config . save ( ) guiget = self . builder . get_object label_widget = guiget ( 'handlesize_value_label' ) label_widget . set_text ( str ( value ) )