

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

dataset/ETHPy150Open ejeschke/ginga/ginga/gtkw/GtkHelp.py VScale.set_value/VarMisuse@29/37 `self`->`newval`