Marius Stanciu 89d2de48da - added a new feature for Gerber parsing: if the NO buffering is chosen in the Gerber Advanced Preferences there is now a checkbox to activate delayed buffering which will do the buffering in background allowing the user to work in between. I hope that this can be useful in case of large Gerber files.

2020-06-03 04:02:04 +03:00

..

__init__.py

- maintenance_2

2020-06-02 18:29:45 +03:00

GerberAdvOptPrefGroupUI.py

- added a new feature for Gerber parsing: if the NO buffering is chosen in the Gerber Advanced Preferences there is now a checkbox to activate delayed buffering which will do the buffering in background allowing the user to work in between. I hope that this can be useful in case of large Gerber files.

2020-06-03 04:02:04 +03:00

GerberEditorPrefGroupUI.py

- maintenance_2

2020-06-02 18:29:45 +03:00

GerberExpPrefGroupUI.py

- maintenance_2

2020-06-02 18:29:45 +03:00

GerberGenPrefGroupUI.py

- maintenance_2

2020-06-02 18:29:45 +03:00

GerberOptPrefGroupUI.py

- maintenance_2

2020-06-02 18:29:45 +03:00

GerberPreferencesUI.py

- maintenance_2

2020-06-02 18:29:45 +03:00