

def set_value(self, newval):
    oldval = self.get_value()
    if (oldval != newval):
        self.change()
    super(SpinButton, oldval).set_value(newval)

dataset/ETHPy150Open ejeschke/ginga/ginga/gtkw/GtkHelp.py SpinButton.set_value/VarMisuse@40/49 `self`->`oldval`