UI text internationalization#44

sgk wants to merge 2 commits intoarduino:new-extensionarduino/Arduino:new-extensionfrom

sgk:i18nsgk/Arduino:i18nCopy head branch name to clipboard