def set_read_only(self, readonly):
        if readonly:
            self.attributes['readonly'] = None
        else:
            try:
                del self.attributes['readonly']
            except __HOLE__:
                pass
dataset/ETHPy150Open dddomodossola/remi/remi/gui.py/Input.set_read_only