David Robertson 31d0cfbdd7 GerberPreferencesUI cleanup vor 5 Jahren
..
GerberAdvOptPrefGroupUI.py 126ed47783 gerber advanced options vor 5 Jahren
GerberEditorPrefGroupUI.py 3db52093f0 gerber editor prefs vor 5 Jahren
GerberExpPrefGroupUI.py 44fb91633a Some work on gerber prefs vor 5 Jahren
GerberGenPrefGroupUI.py be93f78f7c Fix the alpha sliders not taking the correct value on startup and not syncing bidirectionally. vor 5 Jahren
GerberOptPrefGroupUI.py 21756bea9c Gerber opt pref group vor 5 Jahren
GerberPreferencesUI.py 31d0cfbdd7 GerberPreferencesUI cleanup vor 5 Jahren
__init__.py 9be8665311 Grouped the preferences UI files by tab (except for tools1/2 which I put together) vor 5 Jahren