Recent Posts

OS X Yosemite 10.10.1 update fixes the computer name changing Bonjour issue, lost notification centre settings and improves performance

Growing chilli plants from seeds on an apartment balcony

iOS 8.1.1 update is available for download

Monument Valley - Forgotten Shores is out and is an amazing expansion

More 3D Printer box and Portabee improvements

Scam email: Remittance Data for Transaction 10144-15821-55797

OS X Yosemite 10.10 issues

Rename multiple files easily in OS X Yosemite

Fix the Received fatal alert: illegal_parameter in SOAP UI

MP150 and MP Navigator even less usable under OS X Yosemite

More past posts...
RSS Feed RSS Feed for


Apple (68) OS X (25) Plants (11) Chilli (8) iOS (16) Games (12) Review (22) DIY (39) Modding (38) 3D Printer (23) Misc (5) Tips (25) Java (21) Utilities (7) Microsoft (3) Google (13) Electronics (18) Programming (62) PHP (11) HTML (18) FlatPress (15) ADF (5) Oracle (13) WebLogic (1) HL7 (1) SGI (11) Webcam (4) JDeveloper (4) JavaScript (5) Unix (5) Apache (1) SVN (1) SQL (5) Database (6) Raspberry Pi (6) Console (4) Books (1) Car Audio (4) Adium (1) App Engine (7) Xen (1) jsFiddle (2) JSON (5) DokuWiki (1) Hackintosh (12) Star Wars (1) Beer (1) C++ (1) OpenGL (1) Videos (2) Nixie clock (2) NES (3) SNES (3) Swing (1) Eve Online (1) ECM (1)


Riverside Expressway Cam

UUID to OID Converter

300 George St Blogumentary

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

Changing the JDeveloper 11g IDE font size (not the Editor font) on OS X


Views 3669 

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, 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.


Posted on Wed Nov 20 14:54:12 2013 in [ Programming, Apple, JDeveloper, Tips ]  by
comments powered by Disqus