Merged Beta_8.995 into gerber_editor_upgrade

This commit is contained in:
Marius Stanciu
2022-05-19 13:25:47 +00:00
6 changed files with 24 additions and 0 deletions

View File

@@ -88,6 +88,8 @@ class PreferencesUIManager(QtCore.QObject):
"global_layout": self.ui.general_pref_form.general_gui_group.layout_combo,
"global_hover_shape": self.ui.general_pref_form.general_gui_group.hover_cb,
"global_selection_shape": self.ui.general_pref_form.general_gui_group.selection_cb,
"global_selection_shape_as_line": self.ui.general_pref_form.general_gui_group.selection_outline_cb,
"global_gui_layout": self.ui.general_pref_form.general_gui_group.gui_lay_combo,
"global_sel_fill": self.ui.general_pref_form.general_gui_group.sf_color_entry,

View File

@@ -137,6 +137,13 @@ class GeneralGUIPrefGroupUI(OptionsGroupUI):
)
grid0.addWidget(self.selection_cb, 12, 0, 1, 3)
# Enable Selection box
self.selection_outline_cb = FCCheckBox('%s' % _('Selection Outline'))
self.selection_outline_cb.setToolTip(
_("If checked, the selection shape is an outline.")
)
grid0.addWidget(self.selection_outline_cb, 13, 0, 1, 3)
# Select the GUI layout
self.ui_lay_lbl = FCLabel('%s:' % _('GUI Layout'))
self.ui_lay_lbl.setToolTip(