Draft: #9745: widget utility for adjusting child icons to custom icon scale
a step towards fixing #9745
depends on !1198 (closed)
This merge adds a new procedure that adjusts the size of the child icons of a container widget. It adjust them according to the custom icon size set by the user in preferences.
In the video, I've applied the adjustment to the icons in the Curve Tool editor to one container that houses two icons. The purpose is to make those lovely, but tiny icons, more readable in response to user icon settings.
It's set to draft until I've applied it to other editors and tiny icons.
Edit: This MR is now only the utility function and depends on MR !1198 (closed)
Edit: Also works on gtk buttons with an image.
Edited by Mark Sweeney