BUG:336686 Make icon size of the toolbox configurable
Right-click on the toolbox to select a new size.
Note: it's now even easier to make the toolbox way too high
for the screen, and in that case you have to manually resize
the toolbox and maximize the krita window.