Feature: Resizable thumbnails in the style manager dialog
We've added a new slider to control the size of thumbnails shown in the style manager dialog, because sometimes these thumbnail sizes are just too small to get a good representation of a symbol!