- fixed the Punch Gerber Tool bug that did not allowed the projects to be loaded or to create a new project. Fixed issue #456
- in Tool Subtract added an option to delete the source objects after a successful operation. Fixed issue #455
This commit is contained in:
@@ -38,5 +38,14 @@ class ToolsSubPrefGroupUI(OptionsGroupUI):
|
||||
self.close_paths_cb = FCCheckBox(_("Close paths"))
|
||||
self.close_paths_cb.setToolTip(_("Checking this will close the paths cut by the Geometry substractor object."))
|
||||
self.layout.addWidget(self.close_paths_cb)
|
||||
|
||||
self.delete_sources_cb = FCCheckBox(_("Delete source"))
|
||||
self.delete_sources_cb.setToolTip(
|
||||
_("If checked will delete the source objects.")
|
||||
)
|
||||
self.delete_sources_cb = FCCheckBox(_("Delete source"))
|
||||
self.delete_sources_cb.setToolTip(
|
||||
_("When checked will delete the source objects\n"
|
||||
"after a successful operation.")
|
||||
)
|
||||
self.layout.addWidget(self.delete_sources_cb)
|
||||
self.layout.addStretch()
|
||||
|
||||
Reference in New Issue
Block a user