Just installing the new release of JDeveloper 11.
But when running on Linux the font size seems a little bit off.
In order to make this better to look at a chane is needed in the ide.properties.
This file is located at: ~/.jdeveloper/system11.1.1.1.33.54.07/o.jdeveloper
There is a commented field "# Ide.FontSize=11"
Changed it to 'Ide.FontSize=10' and then started JDeveloper that looked a lot better........
But when running on Linux the font size seems a little bit off.
In order to make this better to look at a chane is needed in the ide.properties.
This file is located at: ~/.jdeveloper/system11.1.1.1.33.54.07/o.jdeveloper
There is a commented field "# Ide.FontSize=11"
Changed it to 'Ide.FontSize=10' and then started JDeveloper that looked a lot better........
No comments:
Post a Comment