[WIP] Properly scale all UI elements based on Theme.scale() setting #8647

facchinm wants to merge 1 commit intoarduino:master arduino/Arduino:masterfrom

facchinm:scale_ui_elements facchinm/Arduino:scale_ui_elementsCopy head branch name to clipboard