GerberPreferencesUI.py 1.5 KB

12345678910111213141516171819202122232425262728293031323334
  1. from flatcamGUI.preferences.OptionsGroupUI import OptionsGroupUI
  2. from flatcamGUI.preferences.PreferencesSectionUI import PreferencesSectionUI
  3. from flatcamGUI.preferences.gerber.GerberEditorPrefGroupUI import GerberEditorPrefGroupUI
  4. from flatcamGUI.preferences.gerber.GerberExpPrefGroupUI import GerberExpPrefGroupUI
  5. from flatcamGUI.preferences.gerber.GerberAdvOptPrefGroupUI import GerberAdvOptPrefGroupUI
  6. from flatcamGUI.preferences.gerber.GerberOptPrefGroupUI import GerberOptPrefGroupUI
  7. from flatcamGUI.preferences.gerber.GerberGenPrefGroupUI import GerberGenPrefGroupUI
  8. class GerberPreferencesUI(PreferencesSectionUI):
  9. def __init__(self, decimals, **kwargs):
  10. self.decimals = decimals
  11. self.gerber_gen_group = GerberGenPrefGroupUI(decimals=self.decimals)
  12. self.gerber_opt_group = GerberOptPrefGroupUI(decimals=self.decimals)
  13. self.gerber_exp_group = GerberExpPrefGroupUI(decimals=self.decimals)
  14. self.gerber_adv_opt_group = GerberAdvOptPrefGroupUI(decimals=self.decimals)
  15. self.gerber_editor_group = GerberEditorPrefGroupUI(decimals=self.decimals)
  16. super().__init__(**kwargs)
  17. def build_groups(self) -> [OptionsGroupUI]:
  18. return [
  19. self.gerber_gen_group,
  20. self.gerber_opt_group, # FIXME vertical layout with opt and ext
  21. self.gerber_exp_group,
  22. self.gerber_adv_opt_group,
  23. self.gerber_editor_group
  24. ]
  25. def get_tab_id(self):
  26. return "gerber_tab"
  27. def get_tab_label(self):
  28. return _("GERBER")