Igor Kromin |   Consultant. Coder. Blogger. Tinkerer. Gamer.

NOTE: This article is 3 years or older so its information may no longer be relevant. Read on at your own discretion! Comments for this article have automatically been locked, refer to the FAQ for more details.
I've been searching around on how to change the font size for the JDeveloper IDE and finally got it worked out on OS X. There are some forum posts on this but none that I could find that dealt with OS X specifically. So here's how to do it.

When I upgraded to JDK 7 and Mavericks, this is what JDev looked like for me (just the application browser shown because that's where I wanted the font size to be different). The font looked too big and felt like it was taking up too much screen real estate.
jdevfont1.png


After the change below, it looks better. There is still a fair amount of vertical space being wasted, I could not find a way to fix that, however the smaller font is much easier to work with.
jdevfont2.png


To make this change happen, I opened the Terminal and went to the following location:
~/.jdeveloper/system11.1.2.0.38.60.17/o.jdeveloper


The exact number after system11 may be different, depending on the version of JDev installed.
Inside this directory is a file called ide.properties, which I opened and updated with the following:
#Ide.FontSize.Aqua=10
Ide.FontSize=10


The Ide.FontSize.Aqua did not seem to be doing what it was intended so I commented it out and put in a catch all font size setting.



-i

Skip down to comments...
A quick disclaimer...

Although I put in a great effort into researching all the topics I cover, mistakes can happen. If you spot something out of place, please do let me know.

All content and opinions expressed on this Blog are my own and do not represent the opinions of my employer (Oracle). Use of any information contained in this blog post/article is subject to this disclaimer.
 
comments powered by Disqus
Other posts you may like...