Marius Stanciu 4cc88ec5fe - fixed an error in Geo Editor when trying to save an empty Geometry ...

- in Preferences made sure that clicking the Restore Defaults will update the values in the Preferences Tab
- some changes in the Tools visibility in the Tools ToolBar

2020-11-25 14:24:47 +02:00

75 KiB

Raw Blame History

View Raw