- made sure that if the OR-TOOLS package is not installed then the options in the Preferences for the related optimizations are disabled
This commit is contained in:
@@ -123,14 +123,14 @@ class RadioSetDefaults(RadioSet):
|
||||
* 'label': Shown in the UI
|
||||
* 'value': The value returned is selected
|
||||
|
||||
:param choices: List of choices. See description.
|
||||
:param orientation: 'horizontal' (default) of 'vertical'.
|
||||
:param parent: Qt parent widget.
|
||||
:type choices: list
|
||||
:param choices: List of choices. See description.
|
||||
:param orientation: 'horizontal' (default) of 'vertical'.
|
||||
:param parent: Qt parent widget.
|
||||
:type choices: list
|
||||
:param dictionary:
|
||||
:type dictionary: "dict"
|
||||
:type dictionary: "dict"
|
||||
:param key_spec:
|
||||
:type key_spec: 'str'
|
||||
:type key_spec: 'str'
|
||||
"""
|
||||
|
||||
super(RadioSetDefaults, self).__init__(choices=choices, orientation=orientation, compact=compact, parent=parent)
|
||||
|
||||
Reference in New Issue
Block a user