def set_active(self, newval):
        oldval = self.get_active()
        if oldval is newval:
            self.change()

        super(RadioButton, self).set_active(newval)
dataset/ETHPy150Open ejeschke/ginga/ginga/gtkw/GtkHelp.py/RadioButton.set_active/operator `!=` -> `is`