Igor's Blog

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.

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.

To make this change happen, I opened the Terminal and went to the following location:

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:

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.


, , ,
About — I'm an enthusiastic software engineer and consultant interested in many fields including J2EE, programming, electronics, 3D printing, video games, wood working and gardening.
I've been working at Oracle since 2006, starting as a Software Engineer and moving up to my current role of Senior Principal Consultant. During this time I've lived in London and Singapore and travelled around the world until settling back in Brisbane, Australia.
The views expressed in this blog are my own and not those of my employer.
comments powered by Disqus
My other posts you may like...
Follow me on...

Projects and Sites

My current and past projects
Igor and Elise's Travels
Riverside Expressway Cam
StrFunc() Online
300 George St Blogumentary
Guru JSON-RPC Tester
Extrudifier Object Designer

Recent Blog Posts

Automatically insert a UUID value into a table with Oracle

Taking SMTP out of your web app, a quick start with SendGrid

G Suite coupon for 20% discount in the first year

Playing with JavaScript variable obfuscation to hide Google Analytics and AdSense IDs

The right way to migrate from Gmail to G Suite email

Pulse Secure VPN not working on macOS Sierra and how to fix it

Multiple page PDF scanning does not work in macOS Sierra

Removing temporary email addresses from Google G Suite user admin console

VMware Fusion stops working after macOS Sierra upgrade

Fix G Suite SMTP error when adding another owned email address

Recent Galleries

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

Good Friday Electronics fun Easter Bunny LED PCB Kit IBEABU-01.0

DIY Aurora LED Color Light Cube Chromatography Glass Clock Kit

Building of the Hardwood Tiger Stripe TV Unit

Hardwood Tiger Stripe TV Unit

Kre-O Star Trek miniature kits

Top Categories

Blogs I follow

Matt Moores Blog
Georgi's FlatPress Guide
Perplexing Permutations
The Security Sleuth


RAWS Parts Online
Alpha Dimensions Hosting
Kristensen Photography
Ilia Rogatchevski
Travelling Fairy

Blog Activity

Blog Activity
RSS Feed  
Please follow me on...