Chris Hennes 7560a35ea0 Fix minor issues with Workbenches preference panel ...

This fixes three issues with the new Workbench Loader preferences panel reported by users:
* Some icons were not being properly scaled to the new 48x48 size
* Some text was being incorrectly cut off, despite fitting in the column
* The sort order of the workbenches was incorrect when external workbenches were added

2021-02-05 13:22:00 +01:00

18 KiB

Raw Blame History

View Raw