Changing the JDeveloper IDE font size

If you are like me and wish that the JDeveloper IDE displayed using a bigger font, then thanks to Khaled from Oracle support all you need to do is shut down JDeveloper, and then add a line like the following in the file ide.properties located in \jdev\system\oracle.jdeveloper.10.1.3.X.Y.

Ide.FontSize=14

Finally start JDeveloper and you are done.

Notes

1. The actual X, Y values in the oracle.jdeveloper.10.1.3.X.Y may vary depending on your version of JDeveloper. In 10.1.3.3 X=41 and Y=57, while in 10.1.3.4 X=42 and Y = 70. Anyway the safest approach is to have a look at the Oracle IDE version in the versions tab of the JDev about box as show in the image below.
   
2. Needless to say that the same goes for SQLDeveloper. The only difference is that he file to edit is located in ~/.sqldeveloper/system/oracle.sqldeveloper.1.2.1.3213. If using SQLDeveoper version 1.5 that comes with the new JDev11g look and feel then again the file chek is .sqldeveloper/system1.5.1.54.40/o.sqldeveloper.11.1.1.54.40/ide.properties.
3. On Jdeveloper 11g the ide.properties file location is ~/.jdeveloper/system11.1.1.0.31.51.56/o.jdeveloper. Once more the actul path may be determined by looking at the Oracle IDE version from the about box.