def setMin(self, minimum):
        """Set the minimum value of the Slider. If the current value of
        the Slider is out of new bounds, the value is set to new minimum.

        @param minimum:
                   New minimum value of the Slider.
        """
        self._min = minimum

        try:
            if float( str(self.getValue()) ) < minimum:
                super(Slider, self).setValue(float(minimum))
        except __HOLE__:  # ClassCastException
            # FIXME: Handle exception
            # Where does ClassCastException come from? Can't see any casts
            # above
            super(Slider, self).setValue(float(minimum))

        self.requestRepaint()
dataset/ETHPy150Open rwl/muntjac/muntjac/ui/slider.py/Slider.setMin