Add font size shortcuts (menu, keyboard and mouse)#6551

facchinm merged 3 commits intoarduino:masterarduino/Arduino:masterfrom

facchinm:test_pr6394facchinm/Arduino:test_pr6394Copy head branch name to clipboard