[#3450] change text-size using arrow-keys#3451

raclim merged 2 commits into

processing:developprocessing/p5.js-web-editor:developfrom

karanBRAVO:feat/3450karanBRAVO/p5.js-web-editor:feat/3450Copy head branch name to clipboard