All pastes #346221 Raw Edit

Miscellany

public text v1 · immutable
·published 2007-02-09 04:57 UTC
rendered paste body
    def setOptions(self, command):
        """Add relevant todisc options to the given Command."""
        for option, widget in self.widgets.items():
            value = widget.get()
            if value == True:
                command.add('-%s' % option)
            elif value:
                command.add('-%s' % option, value)