Marius Stanciu 907de3fa9e - in Preferences replaced some widgets with a new one that combine a Slider with a Spinner (courtesy of David Robertson)

2020-06-01 18:06:12 +03:00

..

__init__.py

- renamed classes to have shorter names and grouped

2020-05-18 16:02:41 +03:00

GerberAdvOptPrefGroupUI.py

- all tuple entries in the Preferences UI are now protected against letter entry

2020-05-27 00:27:10 +03:00

GerberEditorPrefGroupUI.py

- all tuple entries in the Preferences UI are now protected against letter entry

2020-05-27 00:27:10 +03:00

GerberExpPrefGroupUI.py

- renamed classes to have shorter names and grouped

2020-05-18 16:02:41 +03:00

GerberGenPrefGroupUI.py

- in Preferences replaced some widgets with a new one that combine a Slider with a Spinner (courtesy of David Robertson)

2020-06-01 18:06:12 +03:00

GerberOptPrefGroupUI.py

- all tuple entries in the Preferences UI are now protected against letter entry

2020-05-27 00:27:10 +03:00

GerberPreferencesUI.py

- all tuple entries in the Preferences UI are now protected against letter entry

2020-05-27 00:27:10 +03:00