Added a setting to select font size in the editor#585

adriengivry merged 1 commit intomainOverload-Technologies/Overload:mainfrom

feature/font_size_settingOverload-Technologies/Overload:feature/font_size_settingCopy head branch name to clipboard