Marius Stanciu 843be488a5 - some changes to the Preferences

2022-02-24 00:14:58 +02:00

..

__init__.py

- remade file names in the app

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

AppExcEditor.py

- the application now uses only the default values from the app.options dict, the app.defaults dict holds the definitive default values

2022-02-18 23:06:58 +02:00

appGCodeEditor.py

- the application now uses only the default values from the app.options dict, the app.defaults dict holds the definitive default values

2022-02-18 23:06:58 +02:00

AppGeoEditor.py

- the application now uses only the default values from the app.options dict, the app.defaults dict holds the definitive default values

2022-02-18 23:06:58 +02:00

AppGerberEditor.py

- in Gerber Editor: in Eraser tool now the intersected shapes are stored properly such that when exporting the edited Gerber, it is done properly

2022-02-23 07:36:10 +02:00

AppTextEditor.py

- some changes to the Preferences

2022-02-24 00:14:58 +02:00