Igor's Blog

20-Nov-2013
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

Don't forget to like Igor's Blog on Facebook to get all the latest updates.
Share this post
Wed Nov 20 04:54:12 2013
, , ,
About
I'm an enthusiastic software engineer and consultant interested in many fields including J2EE, programming, electronics, 3D printing, video games, anything Apple, and even growing chillies.
I've been working at Oracle since 2006, starting as a Software Engineer and progressing 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

Igor's Blog

Recent Posts

Apple finally kills Free iTunes Radio but there is redemption with Pandora

Use Google Maps Places auto complete API without displaying a map

Apple replacing AC wall plug adapters due to electrocution concerns

Use SQLDeveloper navigational filtering to unclutter your workspace

Dell Vostro 1510 SSD Upgrade

How to redirect SQLDeveloper debug log to a file

Sony PS4 In-Ear noise reducing headset is really good

Example code to register a custom node type definition with PHPCR and Jackalope using a CND file

Use Bootstrap and FontAwesome to beautify the JQuery UI DatePicker icon trigger

Edimax HP-5103K AV500 Mini Powerline Adapter Starter Kit

Recent Galleries

Kre-O Star Trek miniature kits

New Year's Eve 2015/16 Fireworks Southbank, Brisbane

Star Trek Kre-O USS Kelvin NCC-0514 kit

DIY Hardwood Coffee Table made out of recycled wood

Pyramid Head Costume

Christmas Tree Flash LED Electronic DIY Learning Kit (SKU180142)

Brisbane, Australia 23rd November Lightning Storm

Microsoft Store in Sydney Australia

Putting together the SMD version of the DSO138 DIY Digital Oscilloscope Kit

40W CO2 Chinese Laser Cutter

Top Categories

Links

Riverside Expressway Cam
StrFunc() Online
Note In The Mail
300 George St Blogumentary
Guru JSON-RPC Tester
Extrudifier Object Designer

RAWS Parts Online
Alpha Dimensions Web Hosting
Kristensen Photography
Georgi's FlatPress Guide
Ned Martin's Site
Matt Moores Blog
Perplexing Permutations
Ilia Ragatchevski
Travelling Fairy
The Security Sleuth

Blog Posting Activity

Blog Activity