Over a million developers have joined DZone.
{{announcement.body}}
{{announcement.title}}

How to Change Oracle JDeveloper 12c Font Size on Mac OS X

DZone's Guide to

How to Change Oracle JDeveloper 12c Font Size on Mac OS X

· Java Zone ·
Free Resource

Learn how to build stream processing applications in Java-includes reference application. Brought to you in partnership with Hazelcast.

There are a few references to this on the Internet but they all seem to describe the behavior of Oracle JDeveloper 11g and not the current version 12c.
If you, like me, have been using Oracle JDeveloper 12c on a Mac OS X and wondered how can you change the IDE's font size then look no further :) Here are the instructions that worked for me:

  • After installing Oracle JDeveloper 12c go to the Help menu and Check for Updates. Install the necessary extensions to do the kind of work you want (i.e. Mobile Application Framework) and restart JDeveloper.
  • You'll probably see an undesired font size after you restart JDeveloper like the picture below. 


  • Shut down JDeveloper and open a Terminal session.
  • Go to /Users/<username>/.jdeveloper/system12.x.x.x.xx.xxxxxx.xxxx/o.jdeveloper.12.x.x.x.xx.xxxxxx.xxxx (i.e. /Users/Marcelo/.jdeveloper/system12.1.3.0.41.140521.1008/o.jdeveloper.12.1.3.1.41.150325.1239)
  • Open the file ide.properties (you can use vi, nano, etc). Any text editor will do it.
  • Find the line Ide.FontSize.Aqua=10. It should be something similar to:
 # The default Ide.FontSize for Mac OS X.  
 Ide.FontSize.Aqua=10  
  • Update the IDE's font size replacing the lines above with the following:
 # The default Ide.FontSize for Mac OS X.  
 Ide.FontSize=10  
  • Save and close the file. Start JDeveloper again and you should see the updated IDE's font size similar to the picture below.

Learn how to build distributed stream processing applications in Java that elastically scale to meet demand- includes reference application.  Brought to you in partnership with Hazelcast.

Topics:

Published at DZone with permission of

Opinions expressed by DZone contributors are their own.

{{ parent.title || parent.header.title}}

{{ parent.tldr }}

{{ parent.urlSource.name }}