- 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
- 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