bartool/flatcam-wsl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

minor cleanup

Browse Source
This commit is contained in:
David Robertson
2020-05-03 14:07:22 +01:00
parent 406faa36c3
commit df9ebaf2c9
2 changed files with 7 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
flatcamGUI/preferences/general/GeneralAppSettingsGroupUI.py
View File

@@ -3,7 +3,7 @@ from PyQt5.QtCore import QSettings
from flatcamGUI.GUIElements import OptionalInputSection
from flatcamGUI.preferences import settings
from flatcamGUI.preferences.OptionUI import *
from flatcamGUI.preferences.OptionsGroupUI import OptionsGroupUI, OptionsGroupUI2
from flatcamGUI.preferences.OptionsGroupUI import OptionsGroupUI2
import gettext
import FlatCAMTranslation as fcTranslate
@@ -159,7 +159,7 @@ class GeneralAppSettingsGroupUI(OptionsGroupUI2):
HeadingOptionUI(label_text="Font Size", label_tooltip=None),
SpinnerOptionUI(
option="notebook_font_size", #FIXME qsettings
option="notebook_font_size",
label_text="Notebook",
label_tooltip="This sets the font size for the elements found in the Notebook.\n"
"The notebook is the collapsible area in the left side of the GUI,\n"
@@ -167,13 +167,13 @@ class GeneralAppSettingsGroupUI(OptionsGroupUI2):
min_value=8, max_value=40, step=1
),
SpinnerOptionUI(
option="axis_font_size", #FIXME qsettings
option="axis_font_size",
label_text="Axis",
label_tooltip="This sets the font size for canvas axis.",
min_value=8, max_value=40, step=1
),
SpinnerOptionUI(
option="textbox_font_size", #FIXME qsettings,
option="textbox_font_size",
label_text="Textbox",
label_tooltip="This sets the font size for the Textbox GUI\n"
"elements that are used in FlatCAM.",

7
flatcamGUI/preferences/general/GeneralPreferencesUI.py
View File

@@ -8,10 +8,9 @@ from flatcamGUI.preferences.general.GeneralGUIPrefGroupUI import GeneralGUIPrefG
class GeneralPreferencesUI(PreferencesSectionUI):
def __init__(self, decimals, **kwargs):
self.decimals = decimals
self.general_gui_group = GeneralGUIPrefGroupUI(decimals=self.decimals)
self.general_app_group = GeneralAppPrefGroupUI(decimals=self.decimals)
self.general_app_settings_group = GeneralAppSettingsGroupUI(decimals=self.decimals)
self.general_app_group = GeneralAppPrefGroupUI(decimals=decimals)
self.general_gui_group = GeneralGUIPrefGroupUI(decimals=decimals)
self.general_app_settings_group = GeneralAppSettingsGroupUI(decimals=decimals)
super().__init__(**kwargs)
def build_groups(self) -> [OptionsGroupUI]: