#9745: preferences checkbox icon size
a step towards fixing #9745 (closed)
Adds an extra parameter to specify the size of the icon to be created by (prefs_check_button_add_with_icon) which I changed to a bigger size, see vid. Has the potential to detect the custom icon size set by the user. However, that depends on this MR being accepted and others. And I suspect a parameter option is probably good enough for these.
MR scale
pref-check-icon-scale