| 12345678910111213141516171819202122232425 |
- from flatcamGUI.preferences.OptionsGroupUI import OptionsGroupUI
- from flatcamGUI.preferences.PreferencesSectionUI import PreferencesSectionUI
- from flatcamGUI.preferences.general.GeneralAppPrefGroupUI import GeneralAppPrefGroupUI
- from flatcamGUI.preferences.general.GeneralAppSettingsGroupUI import GeneralAppSettingsGroupUI
- from flatcamGUI.preferences.general.GeneralGUIPrefGroupUI import GeneralGUIPrefGroupUI
- class GeneralPreferencesUI(PreferencesSectionUI):
- def __init__(self, decimals, **kwargs):
- self.decimals = decimals
- super().__init__(**kwargs)
- def build_groups(self) -> [OptionsGroupUI]:
- return [
- GeneralAppPrefGroupUI(decimals=self.decimals),
- GeneralGUIPrefGroupUI(decimals=self.decimals),
- GeneralAppSettingsGroupUI(decimals=self.decimals)
- ]
- def get_tab_id(self):
- return "general_tab"
- def get_tab_label(self):
- return _("General")
|