

def setter(self, widget, value):
    widget.setText(pretty_number(value))
    widget.editingFinished.emit()

dataset/ETHPy150Open glue-viz/glue/glue/utils/qt/widget_properties.py FloatLineProperty.setter/original