Marius Stanciu 9b1e78d285 - fixed an issue in Tools Database (ToolsDB2 class) that did not made the Tab name in Red color when adding/deleting a tool by using the context menu ...

- optimized the Tools Database

2020-10-27 15:36:01 +02:00

153 KiB

Raw Blame History

View Raw