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

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

Please leave your comments or feedback below!
comments powered by Disqus
Other posts you may like...
Hi! You can search my blog here ⤵
Or browse the recent top tags...

Recent Blog Posts

Mini review of the Sonoff B1 WiFi light bulb

Coherence cache performance optimistic vs replicated schemes

Coherence and weblogic.xml in different types of J2EE web app deployments

Atari Lynx repair - Part 5 - McWill LED screen mod installation

Atari Lynx repair - Part 4 - screen cover replacement

Atari Lynx repair - Part 3 - broken speaker replacement

Atari Lynx repair - Part 2 - re-capping the motherboard

Atari Lynx repair - Part 1 - introduction and case disassembly

jPhotoFrame updated to version 0.3.1 with an image rotation correction utility

iOS 11 pre-GM mini review before it gets revealed next week

Recent Galleries

Atari Lynx repair - Part 5 - McWill LED screen mod installation

Atari Lynx repair - Part 4 - screen cover replacement

Atari Lynx repair - Part 2 - re-capping the motherboard

Atari Lynx repair - Part 3 - broken speaker replacement

Atari Lynx repair - Part 1 - introduction and case disassembly

Building a custom Atari Lynx game box storage shelf unit in a day

Protecting old Atari Lynx game boxes with snug fit plastic sleeves

Monument Valley 2 is released and does not disappoint

Space Food - Chocolate Ice Cream with Chocolate Chips

Legeod Star Wars AT-DP kit

Blogs and Friends

Matt Moores Blog
Georgi's FlatPress Guide
Perplexing Permutations
The Security Sleuth
Ilia Rogatchevski
Travelling Fairy

Blog Activity

Blog Activity