How-to articles, tricks, and solutions about FONTS
How to change font size in Eclipse for Java text editors?
To change the font size in the Java text editor in Eclipse, follow these steps: