b790f36282
- added a new set of options in the Preferences for the Milling Plugin by taking them out of the Geometry section
69 lines
2.3 KiB
Python
69 lines
2.3 KiB
Python
from PyQt5 import QtWidgets
|
|
|
|
from appGUI.GUIElements import FCDoubleSpinner, RadioSet, FCLabel
|
|
from appGUI.preferences.OptionsGroupUI import OptionsGroupUI
|
|
|
|
import gettext
|
|
import appTranslation as fcTranslate
|
|
import builtins
|
|
|
|
fcTranslate.apply_language('strings')
|
|
if '_' not in builtins.__dict__:
|
|
_ = gettext.gettext
|
|
|
|
|
|
class Tools2InvertPrefGroupUI(OptionsGroupUI):
|
|
def __init__(self, decimals=4, parent=None):
|
|
|
|
super(Tools2InvertPrefGroupUI, self).__init__(self, parent=parent)
|
|
|
|
self.setTitle(str(_("Invert Gerber Plugin")))
|
|
self.decimals = decimals
|
|
|
|
# ## Subtractor Tool Parameters
|
|
self.sublabel = FCLabel("<b>%s:</b>" % _("Parameters"))
|
|
self.sublabel.setToolTip(
|
|
_("A tool to invert Gerber geometry from positive to negative\n"
|
|
"and in revers.")
|
|
)
|
|
self.layout.addWidget(self.sublabel)
|
|
|
|
# Grid Layout
|
|
grid0 = QtWidgets.QGridLayout()
|
|
grid0.setColumnStretch(0, 0)
|
|
grid0.setColumnStretch(1, 1)
|
|
self.layout.addLayout(grid0)
|
|
|
|
# Margin
|
|
self.margin_label = FCLabel('%s:' % _('Margin'))
|
|
self.margin_label.setToolTip(
|
|
_("Distance by which to avoid\n"
|
|
"the edges of the Gerber object.")
|
|
)
|
|
self.margin_entry = FCDoubleSpinner()
|
|
self.margin_entry.set_precision(self.decimals)
|
|
self.margin_entry.set_range(0.0000, 10000.0000)
|
|
self.margin_entry.setObjectName(_("Margin"))
|
|
|
|
grid0.addWidget(self.margin_label, 2, 0, 1, 2)
|
|
grid0.addWidget(self.margin_entry, 3, 0, 1, 2)
|
|
|
|
self.join_label = FCLabel('%s:' % _("Lines Join Style"))
|
|
self.join_label.setToolTip(
|
|
_("The way that the lines in the object outline will be joined.\n"
|
|
"Can be:\n"
|
|
"- rounded -> an arc is added between two joining lines\n"
|
|
"- square -> the lines meet in 90 degrees angle\n"
|
|
"- bevel -> the lines are joined by a third line")
|
|
)
|
|
self.join_radio = RadioSet([
|
|
{'label': _('Rounded'), 'value': 'r'},
|
|
{'label': _('Square'), 'value': 's'},
|
|
{'label': _('Bevel'), 'value': 'b'}
|
|
], orientation='vertical', stretch=False)
|
|
|
|
grid0.addWidget(self.join_label, 5, 0, 1, 2)
|
|
grid0.addWidget(self.join_radio, 7, 0, 1, 2)
|
|
|
|
self.layout.addStretch()
|