Marius Stanciu 5708791acc - in Preferences, added a control in the General -> GUI Settings to control the font size for the entire application; require an app restart

2023-06-05 18:46:06 +03:00

..

__init__.py

- remade file names in the app

2020-06-03 20:35:59 +03:00

GeneralAppPrefGroupUI.py

- overwritten the Beta_8.995 branch with the Gerber_Editor_Upgrade branch

2023-05-24 18:07:05 +03:00

GeneralAPPSetGroupUI.py

- overwritten the Beta_8.995 branch with the Gerber_Editor_Upgrade branch

2023-05-24 18:07:05 +03:00

GeneralAppSettingsGroupUI.py

- overwritten the Beta_8.995 branch with the Gerber_Editor_Upgrade branch

2023-05-24 18:07:05 +03:00

GeneralGUIPrefGroupUI.py

- in Preferences, added a control in the General -> GUI Settings to control the font size for the entire application; require an app restart

2023-06-05 18:46:06 +03:00

GeneralPreferencesUI.py

- overwritten the Beta_8.995 branch with the Gerber_Editor_Upgrade branch

2023-05-24 18:07:05 +03:00