- some cleaning up in the Preferences

This commit is contained in:
Marius Stanciu
2021-08-19 01:37:34 +03:00
committed by Marius
parent 49e514e100
commit 7a2fdc2f05
9 changed files with 5 additions and 44 deletions

View File

@@ -68,17 +68,6 @@ class ToolsISOPrefGroupUI(OptionsGroupUI):
"- Circular")
)
self.tool_type_radio = RadioSet([{'label': _('V-shape'), 'value': 'V'},
{'label': _('Circular'), 'value': 'C1'}])
self.tool_type_radio.setToolTip(
_("Default tool type:\n"
"- 'V-shape'\n"
"- Circular")
)
grid0.addWidget(self.tool_type_label, 4, 0)
grid0.addWidget(self.tool_type_radio, 4, 1, 1, 2)
# Tip Dia
self.tipdialabel = FCLabel('%s:' % _('V-Tip Dia'))
self.tipdialabel.setToolTip(