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

facchinm wants to merge 1 commit intoarduino:masterarduino/Arduino:masterfrom

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