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

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

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

Share a link to a web page using a Google Plus app activity
I wanted to have a way of automatically sharing my blog posts directly to my Google+ stream for a while. After starting work on this feature I quickly hit multiple road blocks. However, I was able to come to some sort of compromise with the Google+...
Monument Valley - Ida's (RED) Dream level in support of World AIDS Day
Just as I was excited that Monument Valley got an update and eight new chapters via the Forgotten Shores expansion, now there is a new (and final) chapter available for a short period of time. The chapter is called "Ida's (RED) Dream" and it is...
JiBX fails to generate Java XML bindings for schemas with circular references
I wanted to compare how JiBX stacks against JAXB in terms of performance. From their website, they claim "It also provides very high performance, outperforming all other Java data binding tools across a wide variety of tests.". This sounded great,...
Add a filter/search option to the OS X Terminal history command
If you're like me and use the Terminal in OS X on a daily basis, you probably also use the 'history' command quite regularly too. Every time I use history I always pipe it through grep, so always, always end up typing 'history|grep blah', now...

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

Recent Posts

How I upgraded to Windows 10 without waiting in queue

Scroll Bootstrap 3 Accordion with dynamically loaded content to top of page

How to package your Java code as a native app on OSX into a DMG file

How to fix the JWSC WsBuildException: Wrong number of class files

OS X and iOS Safari iCloud Tabs not synchronising? This is how you fix it!

Java validation regex pattern for the OID root UID value

JWSC from WebLogic 12.1.2 fails to build Java sources above 1.5

Facebook disables chat, leaves Adium dead in the water, but there is a solution

Cornerstone is the best SVN client for Mac

Fallout Shelter update 1.0.3 adds a camera function, here's why it sucks and how to disable it


RSS Feed

Top Categories


Links

Top Gear Vehicle Imports
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