How do I change the font size in StatET?

Question

I know that this is how to change the font size for editing Java files in Eclipse:

How do I change the font size for editing R files in Eclipse using the StatET plugin?

score 1 · Accepted Answer · edited May 23 '17 at 12:22

1

Based on Philip Murray's comment to How can I change font size in Eclipse for Java text editors? one way to do this is to change all editors at the same time:

edited May 23 '17 at 12:22

Community

answered Sep 23 '13 at 18:17

I Like to Code

1 Answers1