Igor's Blog
Programming, DIY, Games, Hacks, and Tech

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

comments powered by Disqus
Other posts you may like...

Recent Blog Posts

A hack to create an uber jar with the Maven Shade Plugin using local jar files

Is it worth it? Apple USB-C Digital Multi AV adapter vs a cheap eBay clone

Running X11 graphical applications after changing to another user using 'sudo su'

How to stop Facebook using ad images as post sharing thumbnails

Picking lists for Atari Lynx capacitor replacement kits

Performance - 2012 Retina MacBook Pro vs 2017 MacBook Pro

Look and feel - 2012 Retina MacBook Pro vs 2017 MacBook Pro

Using math to work out the diameter of hard to reach water cooling pipes

How to get the unreachable shard in the Hinterlands in DragonAge Inquisition

Measy RC12 wireless 2.4Ghz keyboard touchpad review

Recent Galleries

Monument Valley 2 is released and does not disappoint

Space Food - Chocolate Ice Cream with Chocolate Chips

Legeod Star Wars AT-DP kit

DIY spare parts computer build with a RAIDMAX Anura case

Fake 'Lepin' brand Lego packaging

Hardwood garden bench with clear resin void filler

Fixing a 3D printer extruder that stopped heating up

Easily increase disk space in a Lenovo Ideapad 100S 14" laptop with an M.2 SSD

Making a multi-piece 3D printed solder spool holder stand

DIY indoor apartment grow light wiring

My Other Web Sites

Igor and Elise's Travels
Riverside Expressway Cam
300 George St Blogumentary

My Online Tools

UUID to OID Converter
Guru JSON-RPC Tester
Extrudifier Object Designer
Travel ┬ÁBlog

Blogs and Friends

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

Blog Activity

Blog Activity
Don't forget to
me for more great articles!
Don't show this again