Igor's Blog
About Me
Riverside Expressway Cam | UUID to OID Converter
Note In The Mail | 300 George St Blogumentary | Guru JSON-RPC Tester | Extrudifier Object Designer

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.


See Print Version
Short Link: http://kr0m.in/6Sxwk56
Posted by on Wed Nov 20 04:54:12 2013
Tags: [ , , , ]
comments powered by Disqus

Other posts on Igor's Blog

MP150 and MP Navigator even less usable under OS X Yosemite
I've written about the Canon MP150 printer/scanner no longer scanning out of the box under Mavericks. Back then the MP Navigator utility still let you use the scan features however, which extended the life of the device. Under Yosemite, the MP...
Download Counter BBCode Plugin for FlatPress
This is a plugin for FlatPress that adds a BBCode 'download' tag with a link to the file to download and a counter for how many times the file has been downloaded....
Canon Pixma MP150 scanning no longer working on OS X Mavericks
The problems with Mavericks keep coming up, the latest is that the trusty MP150 printer/scanner I had for years can no longer scan on OS X. There doesn't seem to be a workaround, even reinstalling the drivers doesn't help....
Goat Simulator released on OS X
I know I'm a few days late and the release was actually on the 27th of June, but hey that still does not take away from the awesomeness of this game. My curiosity of what it would be like to be a goat has finally been satisfied. This game is silly...

Igor's Blog
Blog Activity
Blog Actitivty (3yr)

Recent Posts

Replacing the Cambridge Audio AVR551R with Marantz NR1605

JiBX fails to generate Java XML bindings for schemas with circular references

Here's an addition to your programmer's toolbox - strfunc.net

Performance difference between JAXB and Velocity generating XML fragments

Fallout Shelter - it's a game about sex, violence and sweet sweet loot

Record iPhone screen video and audio without Jailbreaking or special apps in OSX

Fallout Shelter really does not work on iPad Mini

Create an e-Commerce web site in one day with Bootstrap, PayPal and PHP

Visualising Oracle database partition data distribution with gnuplot

Last Voyage - a game to play if you loved Monument Valley

RSS Feed

Top Categories


Alpha Dimensions Web Hosting
Georgi's FlatPress Guide
Ned Martin's Site
Matt Moores Blog
Raspberry Pi Forums
FlatPress Forums
tonymacx86 Forums
Perplexing Permutations
Ilia Ragatchevski
Travelling Fairy