Igor Kromin

Welcome to Igor's Blog where I write about modding, programming, tricks and hacks, and occasionally I do an odd review.

  View Igor Kromin's LinkedIn profile
RSS 2: RSS Feed for www.igorkromin.net   Atom: Atom Feed for www.igorkromin.net

Last 10 entries

Add a filter/search option to the OS X Terminal history command (185)

Ready Player One by Ernest Cline (84)

JDeveloper 11g and 12c do not support new Java 7 Syntax: Try With Resources (123)

Playing around with Gource on OS X (539)

Parrot Flower Power - a bluetooth wireless sensor for your plants - review part 2 (641)

Parrot Flower Power - a bluetooth wireless sensor for your plants - review part 1 (740)

Parametric planter box for my chillies, taking an OpenSCAD model to a reality (991)

Wood grain EXOSkin for Retina MacBook Pro (774)

Review of The Mini Drive for 15 inch rMBP (822)

iOS7: How to take a screenshot of the power off screen (785)



300 George St Blogumentary

Alpha Dimensions Web Hosting

Georgi's FlatPress Guide

Ned Martin's Site

Raspberry Pi Forums

FlatPress Forums

tonymacx86 Forums

Perplexing Permutations

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


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.


Posted by on Wed Nov 20 14:54:12 2013 in Programming, Apple, JDeveloper

Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License, and code samples are licensed under the Apache 2.0 License.