Marius Stanciu 50210820e2 - added feature in Paint Tool allowing the painting to be done on Gerber objects ...

- added feature in Paint Tool to set how (and if) the tools are sorted
- added Edit -> Preferences GUI entries for the above just added features

2019-08-21 02:13:10 +03:00

82 KiB

Raw Blame History

View Raw