def __init__(self, filename=None):
        self.filename = None
        if filename:
            self.load(filename)
def on_random_range_max_changed(self):
        self.ui.spinBoxRandomMinimum.setMaximum(self.ui.spinBoxRandomMaximum.value() - 1)