I know that this is how to change the font size for editing Java files in Eclipse:
- Open the Preferences
- General → Appearance → Colors and Fonts → Java Editor text font
- Select desired font size
How do I change the font size for editing R files in Eclipse using the StatET plugin?