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
Finally start JDeveloper and you are done.
- 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.
- 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.22.214.171.12413. If using SQLDeveoper version 1.5 that comes with the new JDev11g look and feel then again the file chek is
On Jdeveloper 11g the ide.properties file location is
~/.jdeveloper/system126.96.36.199.31.51.56/o.jdeveloper. Once more the actul path may be determined by looking at the Oracle IDE version from the about box.